Popular repositories Loading

1. Putnam2025 Putnam2025 Public

   Our solution to Putnam 2025.

   Lean 71 2

2. fel-polynomial fel-polynomial Public

   Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"

   Lean 31 4

3. parity-differential parity-differential Public

   Lean formalizations for the paper "Parity of k-differentials in genus zero and one"

   Lean 17 2

4. dead-ends dead-ends Public

   Lean 9 1

5. partial-regularity partial-regularity Public

   Lean formalizations for the paper "Almost all primes are partially regular"

   Lean 4 1

6. PutnamBench PutnamBench Public

   Forked from trishullab/PutnamBench

   An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

   Lean 2 1