magmide/magmide

Uma linguagem de prova com tipos dependentes destinada a tornar possível código bare metal comprovadamente correto para engenheiros de software.

↗ Abrir no GitHub

Estrelas

835

Bifurcações

15

Linguagem

Rocq Prover

Licença

—

Último push

há 4 meses

Rocq Prover coq formal-methods formal-verification verification type-safety logic dependent-types systems-programming

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.