Popular repositories Loading

1. aimo-progress-prize aimo-progress-prize Public

   Jupyter Notebook 463 34

2. kimina-lean-server kimina-lean-server Public

   Kimina Lean server (+ client SDK)

   Python 108 17

3. kimina-prover-rl kimina-prover-rl Public

   Forked from volcengine/verl

   Kimina-Prover RL pipeline

   Python 6

4. lean-exemples lean-exemples Public

   Lean 3

5. annotation-guidelines annotation-guidelines Public

   Lean 3 2

6. combinatorics combinatorics Public

   A Lean 4 library on combinatorics as an enhancement to mathlib4.

   Lean 1