dafny-lang/dafny

Dafny é uma linguagem de programação orientada à verificação formal

↗ Abrir no GitHub

Estrelas

3.520

Bifurcações

326

Linguagem

C#

Licença

NOASSERTION

Último push

há 1 semana

C#verification programming-language

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.