注册
登录
精益
ac-reasoning
返回
项目作者:
tchajed
项目描述 :
Automating simplifying expressions according to associative-commutative reasoning in Coq
高级语言:
Coq
项目主页:
项目地址:
git://github.com/tchajed/ac-reasoning.git
创建时间:
2018-02-09T16:16:45Z
项目社区:
https://github.com/tchajed/ac-reasoning
开源协议:
下载