FStarLang/FStar

@FStarLang

Eine auf Beweise ausgerichtete Programmiersprache

↗ Auf GitHub öffnen

Sterne

3.103

Forks

263

Sprache

Lizenz

Apache-2.0

Letzter Push

vor 6 Tagen

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

Noch keine verwandte Intel

Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.

Verwandte Intel (0)

Noch keine verwandte Intel