KIT-TVA/WebCorCTypeScript
Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
(7 Stars) (4 Forks) (1 indexiertes Issue) (1 offenes good first issue)
Repositories
Täglicher Newsletter
Erhalte frische Easy Issues per E-Mail.
Abonniere GoodFirstIssue Daily für neue Easy Issues, mit denen Einsteiger echte Open-Source-Arbeit starten können.