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