atlanmod/coqtl

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

langage: Coq - taille: 12,2 Mo - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 3 ans - étoiles: 14 - forks: 13