联合开发网   搜索   要求与建议
                登陆    注册
排序： 按匹配   按投票   按下载次数   按上传日期
按分类查找： All 数值算法/人工智能(1) 
按平台查找： All F#(1) 

[数值算法/人工智能] Automated-Theorem-Prover

用F#编写的功能编程定理证明器，
A functionally-programmed theorem prover written in F#, (2023-07-12, F#, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1691009205286692.html
总计:1
Copyright Pudn.com © from 2004