Popular repositories Loading

1. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean 1

2. perfect_number perfect_number Public

   Lean

3. lftcm2020 lftcm2020 Public

   Forked from leanprover-community/lftcm2020

   Lean for the Curious Mathematician 2020

   Lean

4. hello-world hello-world Public

   Forked from gerby-project/hello-world

   Hello world for Gerby

   TeX

5. lean-perfectoid-spaces lean-perfectoid-spaces Public

   Forked from leanprover-community/lean-perfectoid-spaces

   Perfectoid spaces in the Lean formal theorem prover.

   Lean

6. mc2022-Lean mc2022-Lean Public

   Forked from apurvanakade/mc2020-Lean

   A Class on Lean for Mathcamp 2022

   Lean