EA编程下载搜索联合开发网

排序：按匹配按投票按下载次数按上传日期

按平台查找： All Lean(4)

[数值算法/人工智能] violet

一种编程语言，半定理证明器
A programming language, half theorem prover (2023-05-31, Lean, 21KB, 下载0次)

http://www.pudn.com/Download/item/id/1685519201419312.html

[数值算法/人工智能] tba-2022

KIT 2022年版“定理证明器实验室：编程语言中的应用”课程材料
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition (2022-07-18, Lean, 994KB, 下载0次)

http://www.pudn.com/Download/item/id/1658120811998662.html

[数值算法/人工智能] tba-2021

KIT“定理证明器实验室：编程语言中的应用”课程材料，SS2021版
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition (2021-07-01, Lean, 2378KB, 下载0次)

http://www.pudn.com/Download/item/id/1625107569215302.html

[数值算法/人工智能] lean4

精益4编程语言和定理证明器
Lean 4 programming language and theorem prover (2023-05-31, Lean, 17363KB, 下载0次)

http://www.pudn.com/Download/item/id/1685512945357907.html

总计:4