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: about 10 hours ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 13