issues
search
atlanmod
/
coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Other
13
stars
12
forks
source link
Reintroduce option in syntax for output pattern element
#91
Open
massimotisi
opened
3 years ago