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: 6 days ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 13