coq-catt-pluginversion
A Coq plugin for the catt proof-assistant
A Coq plugin to interpret terms built in the catt proof assistant as functions computing on higher dimensional identity types
| Tags | higher-categories dependent-type-theory |
|---|---|
| Authors | Thibaut Benjamin <thibaut.benjamin@gmail.com> and Chiara Sarti <cs2197@cam.ac.uk> |
| License | MIT |
| Published | |
| Homepage | https://github.com/thibautbenjamin/catt |
| Issue Tracker | https://github.com/thibautbenjamin/catt/issues |
| Maintainers | Thibaut Benjamin <thibaut.benjamin@gmail.com> and Chiara Sarti <cs2197@cam.ac.uk> |
| Dependencies | |
| Source [http] | https://github.com/thibautbenjamin/catt/releases/download/1.0/catt-1.0.tbz sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-catt-plugin/coq-catt-plugin.1.0/opam |
No package is dependent
