Aeneas-generated Lean semantics and correspondence proofs for Verity against formal-leanSpec
Updated about 1 month ago 1 commits
pulse-dev|Mirror: NyxFoundation/verity-aeneas-proofs (⭐0)
about 1 month agoAbout
Aeneas-generated Lean semantics and correspondence proofs for Verity against formal-leanSpec
Readme