Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).