FICHA · AUR
velus-git
Compilador Velus Lustre
- lustre-compiler
- Linha de comando
- Desenvolvimento
- Abre direto
- Roda no terminal
· codex · reviewed · 5 de jun. de 2026 descrição em pt-br · fallback
Compila programas síncronos Lustre com o compilador Velus para pesquisa e trabalho em sistemas verificados. Desenvolvedores o usam pelo terminal em fluxos de métodos formais; código gerado e provas devem ser revisados antes de uso crítico para segurança.
Como rodar
velus
Comandos: velus
Permissões
Permissões ainda não analisadas para esta fonte.