项目描述 ：
Automated Theorem Prover written in JavaScript, CSS3 & HTML5

高级语言： JavaScript

项目主页：

项目地址: git://github.com/Seagat2011/Euclid-Automated-Theorem-Prover-JavaScript-Plugin-Linux-.git

创建时间： 2015-08-22T19:02:41Z
项目社区：https://github.com/Seagat2011/Euclid-Automated-Theorem-Prover-JavaScript-Plugin-Linux-
开源协议：
下载