Repository Issues

KIT-TVA/WebCorC

Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology

Auf GitHub ansehen
Stars
 (7 Sterne)
Forks
 (4 Forks)
Indexierte Issues
 (1 indexiertes Issue)
offene Einsteiger-Issues
 (1 offenes Einsteiger-Issue)
Zuletzt indexiert
14.08.2026
Letzter GitHub Push
07.07.2026
Lizenz
Apache License 2.0
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
TypeScript
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
good first issue

Issues

0 geschlossene indexierte Issues

Für dieses Repository wurden keine geschlossenen indexierten Issues gefunden.