phanerozoic/

Coq-Kruskal

Structured dataset from Kruskal-Theorems — Kruskal tree theorem formalization.

Repository: https://github.com/DmxLarchey/Kruskal-Theorems Commit: e6b7c0c93bc4f68b7ef6af9fad64220111febf71 Files: 27 License: mpl-2.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… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-Kruskal.