issues
search
atlanmod
/
coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Other
13
stars
12
forks
source link
Add dev container setup for VS Code
#109
Closed
TheoLeCalvar
closed
2 years ago
TheoLeCalvar
commented
2 years ago
Todo:
[x] add instruction in readme.md to install docker or link to
instructions of the Remote - Containers extension
Todo: