Popular repositories Loading

1. 42-cursus 42-cursus Public

   C 1

2. FU_SPAT FU_SPAT Public

   Jupyter Notebook 1

3. Mermin_Peres Mermin_Peres Public

   Lean

4. leanprover-community.github.io leanprover-community.github.io Public

   Forked from leanprover-community/leanprover-community.github.io

   Hosts the website for mathlib and other Lean community infrastructure.

   CSS

5. natural_number_game natural_number_game Public

   Forked from PatrickMassot/natural_number_game

   Building the natural numbers in Lean.

   Lean

6. mathcamp-tutorials mathcamp-tutorials Public

   Lean tutorials for mathcamp 2020.

   Lean