Pular para o conteúdo principal
buildradar
Entrar

creusot-rs/creusot

@creusot-rs

O Creusot ajuda você a provar que seu código Rust está correto.

Estrelas
1.836
Bifurcações
90
Linguagem
Rust
Licença
LGPL-2.1
Último push
há 1 semana
Rustrustrust-langformal-methodsformal-verificationproofverificationcontractsdeductive-reasoningwhy3

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.