phanerozoic/

Coq-HierarchyBuilder

Structured dataset from Hierarchy Builder — High-level commands for packed class hierarchies.

Repository: https://github.com/math-comp/hierarchy-builder Commit: 002a61eee7cf02e08e4b60abca0cf46a793497aa Files: 105 License: mit

	Schema




	

Column Type Description

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

proof string… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-HierarchyBuilder.