search

atlanmod / coqtl

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

Split user proofs for readability and metrics #68

Closed veriatl closed 4 years ago

veriatl commented 4 years ago

easier to cal metrics using standard coq tool, i.e. coqwc