Geeks
Yingjia-Wan
/
minif2f-lean4
minif2f dataset converted to lean 4 version.
Primary Language
Lean
minif2f-lean4 GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
No issues in this repository yet.