Datasets:

phanerozoic
/

Coq-Infotheo

Tasks:

Text Generation

Feature Extraction

Modalities:

Formats:

Languages:

Size:

Tags:

theorem-proving

Libraries:

License:

Dataset card Data Studio Files Files and versions

Coq-Infotheo / data

856 kB

Ctrl+K

Ctrl+K

1 contributor

History: 11 commits

phanerozoic's picture

Re-extract: full statement+proof, normalized schema, provenance

d13bf74 verified 4 months ago

train-00000-of-00001.parquet

856 kB
xet

Re-extract: full statement+proof, normalized schema, provenance 4 months ago