tlaplus/Examples

Uma coleção de especificações TLA⁺ de complexidades variadas.

↗ Abrir no GitHub

Estrelas

1.564

Bifurcações

223

Linguagem

TLA

Licença

NOASSERTION

Último push

há 2 dias

TLA tlaplus pluscal

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.