Popular repositories Loading

1. Isabelle_marries_Dirac Isabelle_marries_Dirac Public

   A certified library of quantum computing using the proof assistant Isabelle

   Isabelle 7 6

2. isabelle-parallel-corpus isabelle-parallel-corpus Public

   6

3. UniLab UniLab Public

   Formalized Mathematics

   Coq 1

4. Geometry_in_Lean Geometry_in_Lean Public

   Lean 1 2

5. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq 1

6. book book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   TeX