formal-land/rocq-of-rust
@formal-landFerramenta de verificação formal para Rust: verifique 100% dos casos de execução dos seus programas para criar aplicações mais seguras.
Estrelas
1.161
Bifurcações
44
Linguagem
Rocq Prover
Licença
—
Último push
há 1 semana
Intel relacionado (0)
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.