/coqtl

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq

Primary LanguageCoqOtherNOASSERTION

Stargazers