PolyFun
Lean
★ 0
updated 15d ago
⑂ fork
Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
No plain-English explanation yet — one is being written right now. Check back in a minute.