Popular repositories Loading

1. flypitch flypitch Public

   Forked from flypitch/flypitch

   A formal proof of the independence of the continuum hypothesis

   Lean 1

2. mat332-notebooks mat332-notebooks Public

   Jupyter notebooks for the course MAT332, fall 2020, UTM

   Jupyter Notebook 1 1

3. DeRhamCohomology DeRhamCohomology Public

   Formalization of de Rham cohomologies of a smooth manifold

   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