Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
Lean Updated 21 days ago 1 commits 14 stars
drift-coder|Mirror: Verified-zkEVM/PolyFun (⭐14)
21 days agoAbout
Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
Readme
14 stars
2 forks