Popular repositories Loading

1. TypingFlags TypingFlags Public

   A Coq plugin to disable positivity check, guard check and termination check

   Coq 16

2. hott-colimits hott-colimits Public

   Coq 3 1

3. ModelStructure-HTS ModelStructure-HTS Public

   formalization of model structures in Homotopy Type System (in Coq)

   Coq 2

4. hott-limits hott-limits Public

   Forked from peterlefanulumsdaine/hott-limits

   A formalization of (homotopy) limits in Homotopy Type Theory

   Coq

5. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

6. coq coq Public

   Forked from rocq-prover/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 develo…

   OCaml