mattam82/Coq-Developers-Manual
Additional documentation for the developers of Coq
Developer Profile
mattam82
Discovered public repositories for mattam82 in the GitHub catalog.
mattam82/opam-coq-repo
Public repository.
mattam82/Coq-unif
Formalization of unification in Coq
mattam82/groupoid
Internalizing intensional type theory
mattam82/HoTT
Homotopy type theory
mattam82/Coq-tools
Some various support files for Coq
mattam82/typex
XPath formalisation, Alternating automata...
mattam82/Forcing
Forcing layer on top of Coq
mattam82/rocq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
mattam82/math-classes
Public repository.
mattam82/Coq-misc
Misc hacks on Coq
mattam82/Reify
Reification for Coq
mattam82/Constructors
Example Coq plugin
mattam82/Coq--RTL
A formalization of λRTL in Coq