注册
登录
React
verified-react
返回
项目作者:
AestheticIntegration
项目描述 :
Automated reasoning for React/ReasonML
高级语言:
OCaml
项目主页:
项目地址:
git://github.com/AestheticIntegration/verified-react.git
创建时间:
2018-10-14T16:59:07Z
项目社区:
https://github.com/AestheticIntegration/verified-react
开源协议:
下载