FStarLang/FStar

Uma linguagem de programação orientada a provas.

↗ Abrir no GitHub

Estrelas

3.103

Bifurcações

263

Linguagem

F*

Licença

Apache-2.0

Último push

há 6 dias

F*proof-assistant verification programming-language c-language ocaml smt f-sharp theorem-proving dependent-types fstar dijkstra-monads interactive-theorem-proving program-proof

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.