/velus

A Lustre compiler in Coq

Primary LanguageCoqOtherNOASSERTION

Stargazers