FStarLang/FStar

Un lenguaje de programación orientado a pruebas

↗ Abrir en GitHub

Estrellas

3103

Bifurcaciones

263

Lenguaje

F*

Licencia

Apache-2.0

Último push

hace 5 días

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

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.