atlanmod / coqtlLinks

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
14Updated 3 years ago

Alternatives and similar repositories for coqtl

Users that are interested in coqtl are comparing it to the libraries listed below

Sorting: