Popular repositories Loading

1. DeRhamCohomology DeRhamCohomology Public

   Formalization of de Rham cohomologies of a smooth manifold

   Lean 9 2

2. SardMoreira SardMoreira Public

   Formalization of Moreira's version of Sard's Theorem

   Lean 4 2

3. flypitch flypitch Public

   Forked from flypitch/flypitch

   A formal proof of the independence of the continuum hypothesis

   Lean 1

4. mat332-notebooks mat332-notebooks Public

   Jupyter notebooks for the course MAT332, fall 2020, UTM

   Jupyter Notebook 1 1

5. libgit2 libgit2 Public

   Forked from libgit2/libgit2

   The Library

   C

6. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean