FStarLang/FStar

A Proof-oriented Programming Language

语言：F* · GitHub 星标：3,133 · Fork：267

话题：c-language · dependent-types · dijkstra-monads · f-sharp · fstar · interactive-theorem-proving · ocaml · program-proof

在 GitHub 上查看原仓库