phanerozoic/

Boogie

Declarations from Boogie.

Repository: https://github.com/boogie-org/boogie Commit: 24a23f9041646167445f8871e59e27d633f8642b Files: 757 License: other

	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 declaration has none

type string Declaration keyword… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Boogie.