Reviews
Multi platform setup for Coq, Coq libraries and tools
Search similar apps
License
Creative Commons Zero v1.0 Universal
Related apps
coq
Coq is a formal proof management system. It provides a formal language to write
OCaml4576lgpl-2.1
last month
coqdependent-typesproof-assistant