Popular repositories Loading

1. my_MIL my_MIL Public

   Lean 6 1

2. EG EG Public

   Forked from jjdishere/EG

   Formalizing Euclidean Geometry in Lean

   Lean

3. alphageometry alphageometry Public

   Forked from google-deepmind/alphageometry

   Python

4. 2024Spring---Data-Structure-and-Algorithm-B 2024Spring---Data-Structure-and-Algorithm-B Public

   Python

5. coxeter coxeter Public

   Forked from NUS-Math-Formalization/coxeter

   Lean

6. 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