search

atlanmod / coqtl

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

Fix in EngineTwoPhase.v #92

Closed veriatl closed 3 years ago