注册
登录
嵌入式C/C++
tla-spec
返回
项目作者:
manifoldfinance
项目描述 :
tla++ proofs and verifications
高级语言:
TLA
项目主页:
项目地址:
git://github.com/manifoldfinance/tla-spec.git
创建时间:
2021-02-22T05:37:05Z
项目社区:
https://github.com/manifoldfinance/tla-spec
开源协议:
下载