缅甸锦福娱乐16687406569试玩下载搜索联合开发网

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

按分类查找： lean(3) 数学计算(1)

按平台查找： All Lean(4)

[数学计算] lean-code

玩精益定理证明器的休闲产品，主要是PR到其他项目的中间产品
casual products of playing with Lean theorem prover, mostly intermediates of PRs to other projects (2024-04-27, Lean, 0KB, 下载0次)

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

[lean] ListNatGame

使用Lean4玩一个小游戏Natural s List，
A little game of Natural s List using Lean4, (2023-09-29, Lean, 0KB, 下载0次)

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

[lean] lean

grhkm与lean和mathlib玩得很开心！，
grhkm having fun with lean and mathlib!, (2023-02-24, Lean, 0KB, 下载0次)

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

[lean] lean4

grhkm在玩lean4！，
grhkm messing around with lean4!, (2023-02-28, Lean, 0KB, 下载0次)

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

总计:4