Popular repositories Loading

1. cad cad Public

   Forked from math-comp/cad

   Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp

   Coq 1

2. trajectories trajectories Public

   Forked from ybertot/trajectories

   Coq

3. infotheo infotheo Public

   Forked from affeldt-aist/infotheo

   A Coq formalization of information theory and linear error-correcting codes

   Coq

4. analysis analysis Public

   Forked from math-comp/analysis

   Mathematical Components compliant Analysis Library

   Coq

5. math-comp math-comp Public

   Forked from math-comp/math-comp

   Mathematical Components

   Coq

6. Abel Abel Public

   Forked from math-comp/Abel

   A proof of Abel-Ruffini theorem.

   Coq