Issues do repositório

mvanhorn/tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Ver no GitHub
Stars
 (0 estrela)
Forks
 (0 fork)
Issues indexadas
 (0 issue indexada)
issues iniciantes abertas
 (0 issue iniciante aberta)
Última indexação
18 de ago. de 2026
Último push no GitHub
18 de abr. de 2026
Licença
MIT License
Guia de contribuição
Guia de contribuição
Código de conduta
Código de conduta
Linguagem principal
Java
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 issue indexada aberta

Nenhum issues indexado aberto encontrado para este repositório.