搜索结果

跳转到： 导航, 搜索

在本wiki上新建名为“Computer program”的页面！

  • Open Provable Foundation
    *[[Agda]] is a dependently typed programming language / interactive theorem prover. *HOL = functional programming + logic [https://hol-theorem-prover.org/ HOL Interactive Theorem Prover
    7 KB（612个字） - 2023年8月4日 (五) 08:59

查看（前20个 | 后20个）（20 | 50 | 100 | 250 | 500）

来自“http://wiki.huihoo.com/wiki/%E7%89%B9%E6%AE%8A:%E6%90%9C%E7%B4%A2”
分享您的观点
个人工具
名字空间

变换
查看
操作
导航
工具箱