search

atlanmod / coqtl

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Other
13 stars 12 forks source link

Tactic for case analysis on rules #86

Open massimotisi opened 4 years ago

jhtr commented 4 years ago

See https://github.com/massimotisi/CoqTL/pull/4