Popular repositories Loading

1. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML 1

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

3. python_cpp_latex python_cpp_latex Public

   nothing

   Python 1

4. compfiles compfiles Public

   Forked from dwrensha/compfiles

   Catalog Of Math Problems Formalized In Lean

   Lean