atlanmod/coqtl

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

Language: Coq - Size: 12.2 MB - Last synced at: 4 days ago - Pushed at: almost 4 years ago - Stars: 14 - Forks: 13