Popular repositories

1. cap_set_problem cap_set_problem Public

   A formalization of Ellenberg and Gijswijt's solution to the cap set problem.

   Lean 7

2. logical_verification_2024 logical_verification_2024 Public

   The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

   Lean 7 1

3. class-number class-number Public

   A paper on formalizing Dedekind domains and the class number

   Lean 3

4. class-group-and-mordell-equation class-group-and-mordell-equation Public

   Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

   Lean 3

5. field field Public

   a tactic to normalize field expressions

   Lean 1

6. ring_exp ring_exp Public

   A short paper on the `ring_exp` tactic

   TeX 1