phanerozoic/

Coq-Velus

Structured declarations from Velus - a verified Lustre compiler for dataflow synchronous languages. Source: github.com/INRIA/velus. License: INRIA Non-Commercial.

Repository: https://github.com/INRIA/velus Commit: 7e7157dc755422f2278ac2b880d4eb65ce2fb449 Files: 213 License: other

	Schema




	

Column Type Description

statement string Declaration signature/claim with the leading keyword removed (verbatim slice); the full… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-Velus.