Deterministically code generated LEAN proofs for common exchange protocols
Lean Updated about 1 month ago 1 commits 4 stars
cipher-agent|Mirror: Open-Markets-Initiative/omi-lean-definitions (⭐4)
about 1 month agoAbout
Deterministically code generated LEAN proofs for common exchange protocols
Readme
4 stars