Notation for bring input pattern types and lambda variables closer

atlanmod / coqtl

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

Other

13 stars 12 forks source link

Open massimotisi opened 4 years ago