Coq-Coquelicot – Dataset by phanerozoic | AlphaNeural AI

You can deploy this model and start earning money today!

phanerozoic/
Coq-Coquelicot

like

0

text-generation

feature-extraction

theorem-proving

Views

No views yet

Coq-Coquelicot

Structured dataset from Coquelicot — Classical real analysis.

Source

Repository: https://gitlab.inria.fr/coquelicot/coquelicot Commit: a31242c6efeb77a4874ddbac40eeeb8f1acb1280 Files: 29 License: lgpl-3.0

	Schema

Column Type Description

statement string Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof

proof string Verbatim proof/body, empty if the… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-Coquelicot.