KIT-TVA/WebCorCTypeScript
Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
(7 stars) (4 forks) (1 indexed issue) (1 open good first issue)
Repositories
Daily Newsletter
Get fresh easy issues in your inbox.
Subscribe to GoodFirstIssue Daily for newly found easy issues that are ready for beginner-friendly open source work.