Issues du dépôt

KIT-TVA/WebCorC

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

Voir sur GitHub
Stars
 (7 étoiles)
Forks
 (4 forks)
Issues indexées
 (1 issue indexée)
issues débutant ouvertes
 (1 issue débutant ouverte)
Dernière indexation
14 août 2026
Dernier push GitHub
7 juil. 2026
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
TypeScript
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
good first issue

Issues

1 issue indexée

Ouverte
Websocket "verification complete" timestamp
backendbugfrontendgood first issue
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants

KIT-TVA / WebCorC · #216 · 12 août 2026 · TypeScript · 7 étoiles

1 commentaire0 réaction0 personne assignée