FStarLang/FStar

証明指向プログラミング言語

↗ GitHub で開く

スター

3,103

フォーク

263

言語

F*

ライセンス

Apache-2.0

最終プッシュ

6 日前

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

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。