tchajed / coq-ioLinks
Modeling I/O in Coq using free monads
☆10Updated 6 years ago
Alternatives and similar repositories for coq-io
Users that are interested in coq-io are comparing it to the libraries listed below
Sorting:
- Mtac in Agda☆28Updated 4 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem