有没有吧友用过ACL2定理证明器
lisp吧
全部回复
仅看楼主
level 7
TaTaMaD
楼主
有没有呢。
2015年05月23日 10点05分
1
level 7
TaTaMaD
楼主
好玩
http://wwwtechwebcomcn/it/2015-05-04/2148321.shtml
2015年05月23日 13点05分
2
1
