search

atlanmod / coqtl

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

Use prebuilt dev container image #110

Closed TheoLeCalvar closed 2 years ago

TheoLeCalvar commented 2 years ago

Use a prebuilt dev container image instead of building it locally.