Datasets
Models
Docs
Blog
Community
Pricing
Log in
Get Started
hoskinson-center
/
minif2f-lean4
Datasets
Models
Docs
Blog
Pricing
Search
LOG IN
SIGN UP
Data
Branches
Evaluations
Notebooks
minif2f-lean4
public
Star
Clone
224 kB
2
2
main
minif2f-lean4
main
1 branch
Loading...
About
2
commits
1
contributor
0
downloads
224 kB
0
stars
Repository contents
2
text
files
50.0%
2
tabular
files
50.0%
Contributors
@oxbot
