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. libgit2 libgit2 Public

   Forked from libgit2/libgit2

   The Library

   C

4. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

5. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

6. calculus-notebooks calculus-notebooks Public

   Jupyter notebooks about basic calculus topic

   Jupyter Notebook