Popular repositories Loading

1. mathlib4_stacks_project_field_new mathlib4_stacks_project_field_new Public

   feat(Field): add theorems in Stacks Project Chapter 09FA Fields

   Lean

2. lean-iwasawa lean-iwasawa Public

   Forked from acmepjz/lean-iwasawa

   Formalization of Iwasawa Theory in LꓱꓯN (tentative)

   Lean

3. KoszulComplex KoszulComplex Public

   Forked from mbkybky/KoszulComplex

   Lean

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

6. jixia jixia Public

   Forked from frenzymath/jixia

   A static analysis tool for Lean 4.

   Lean