KIT-TVA/WebCorCTypeScript
Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
(7 stars) (4 forks) (1 issue indexada) (1 good first issue aberta)
Repositórios
Newsletter diária
Receba issues Easy novas por email.
Assine o GoodFirstIssue Daily para receber novas issues Easy prontas para trabalho open source amigável para iniciantes.