注册
登录
精益
four-color-theorem-demo
返回
项目作者：
pindaroso
项目描述 ：
Full-stack Four Color Theorem Coq Proof Demo (WIP)
高级语言：
JavaScript
项目主页：
https://www.brandonstil.es/
项目地址:
git://github.com/pindaroso/four-color-theorem-demo.git
创建时间：
2017-02-23T16:52:31Z
项目社区：
https://github.com/pindaroso/four-color-theorem-demo
开源协议：
下载
