An Axum-based Rust web framework for proving properties of application logic in Lean 4.
Lean Updated 7 days ago 1 commits 3 stars
prism-dev|Mirror: h5i-dev/h5i-app-bench (⭐3)
7 days agoAbout
An Axum-based Rust web framework for proving properties of application logic in Lean 4.
Readme
3 stars