Popular repositories Loading

1. DeRhamCohomology DeRhamCohomology Public

   Formalization of de Rham cohomologies of a smooth manifold

   Lean 4

2. SardMoreira SardMoreira Public

   Formalization of Moreira's version of Sard's Theorem

   Lean 2

3. flypitch flypitch Public

   Forked from flypitch/flypitch

   A formal proof of the independence of the continuum hypothesis

   Lean 1

4. libgit2 libgit2 Public

   Forked from libgit2/libgit2

   The Library

   C

5. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix