mattam82

InriaNantes

Pinned Repositories

coq
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.
Language:OCaml4.9k 103 10.1k653
opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml127 19 131166
Coq-HoTT
A Coq library for Homotopy Type Theory
Language:Coq1.3k 59 590193
Constructors
Example Coq plugin
Language:OCaml16 3 03
coq
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.
Language:OCaml5 4 30
Coq-Equations
A function definition package for Coq
Language:Coq223 10 23444
Forcing
Forcing layer on top of Coq
Language:Coq15 5 01
groupoid
Internalizing intensional type theory
Language:HTML10 4 01
metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
Language:Coq387 17 15082
unicoq
An enhanced unification algorithm for Coq
Language:OCaml49 8 2616