README.md174 B
Adding repo hoskinson-center/minif2f-lean4 data
2 years ago dataset_metadata.md20 B
Adding repo hoskinson-center/minif2f-lean4 data
2 years ago minif2f-lean4_test.parquet116.9 kB
Adding repo hoskinson-center/minif2f-lean4 data
2 years ago minif2f-lean4_validation.parquet106.9 kB
Adding repo hoskinson-center/minif2f-lean4 data
2 years ago