FStarLang/FStar

面向证明的程序语言

↗ 在 GitHub 打开

星数

3,104

Fork 数

264

语言

F*

许可

Apache-2.0

最后推送

7小时前

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

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。