Pinned Repositories
lean-dojo-mew
miniF2F fork
lean-training-data
Fork of lean-training-data (https://github.com/semorrison/lean-training-data)
lean4-example
Fork of https://github.com/yangky11/lean4-example
LeanDojo
Copy of LeanDojo with rw splitting restored
mathlib4
Fork of mathlib4 with textual edits
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
lean-training-data
AG161's Repositories
AG161/lean-dojo-mew
miniF2F fork
AG161/lean-training-data
Fork of lean-training-data (https://github.com/semorrison/lean-training-data)
AG161/lean4-example
Fork of https://github.com/yangky11/lean4-example
AG161/LeanDojo
Copy of LeanDojo with rw splitting restored
AG161/mathlib4
Fork of mathlib4 with textual edits