search

atlanmod / coqtl

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Other
13 stars 12 forks source link

Seperate Metamodel.v from Engine.v #98

Closed veriatl closed 2 years ago

veriatl commented 3 years ago

A generic engine should work regardless the type of models.

Therefore, we will