FStarLang/FStar

Langage de programmation orienté preuve.

↗ Ouvrir sur GitHub

Étoiles

3 103

Bifurcations

263

Langage

F*

Licence

Apache-2.0

Dernier push

il y a 6 jours

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

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.