Issues do repositório

KIT-TVA/WebCorC

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

Ver no GitHub
Stars
 (7 estrelas)
Forks
 (4 forks)
Issues indexadas
 (1 issue indexada)
issues iniciantes abertas
 (1 issue iniciante aberta)
Última indexação
14 de ago. de 2026
Último push no GitHub
7 de jul. de 2026
Licença
Apache License 2.0
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
TypeScript
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
good first issue

Issues

0 issue indexada fechada

Nenhum issues indexado fechado encontrado para este repositório.