Popular repositories Loading

1. lean4-example lean4-example Public

   Forked from yangky11/lean4-example

   Fork of https://github.com/yangky11/lean4-example

   Lean

2. LeanDojo LeanDojo Public

   Forked from lean-dojo/LeanDojo

   Copy of LeanDojo with rw splitting restored

   Python

3. mathlib4 mathlib4 Public

   Fork of mathlib4 with textual edits

   Lean

4. lean-training-data lean-training-data Public

   Forked from kim-em/lean-training-data

   Fork of lean-training-data (https://github.com/semorrison/lean-training-data)

   Lean

5. lean-dojo-mew lean-dojo-mew Public

   Forked from rah4927/lean-dojo-mew

   miniF2F fork

   Lean

6. llemma_formal2formal llemma_formal2formal Public

   Forked from wellecks/llemma_formal2formal

   Fork of https://github.com/wellecks/llemma_formal2formal

   Python