search

atlanmod / coqtl

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

Port simple proofs to the typeclass #62

Closed jhtr closed 4 years ago

jhtr commented 4 years ago

Trying to address #54

jhtr commented 4 years ago

This is ready to be reviewed.