项目描述 ：
Verification system for effectful programs

高级语言： F*

项目主页： https://www.fstar-lang.org

项目地址: git://github.com/FStarLang/FStar.git

创建时间： 2014-04-03T17:32:49Z
项目社区：https://github.com/FStarLang/FStar
开源协议：Apache License 2.0
下载