CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
13
stars
12
forks
source link
In concrete syntax links could be specified by computing only their target elements in the lambda #85
Open
massimotisi opened 4 years ago