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