Issue del repository

KIT-TVA/WebCorC

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

Vedi su GitHub
Star
 (7 stelle)
Fork
 (4 fork)
Issue indicizzate
 (1 issue indicizzata)
issue per principianti aperte
 (1 issue per principianti aperta)
Ultima indicizzazione
14 ago 2026
Ultimo push GitHub
7 lug 2026
Licenza
Apache License 2.0
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
TypeScript
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
good first issue

Issue

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.