Ambiente de desenvolvimento e verificação TLA+ diretamente no navegador.
- Execução completa de TLA+ no navegador sem configurações locais.
- Facilita a exploração rápida de contra-exemplos através de uma interface visual.
- Elimina a fricção de instalar dependências pesadas para verificação formal.