玩精益定理证明器的休闲产品,主要是PR到其他项目的中间产品
casual products of playing with Lean theorem prover, mostly intermediates of PRs to other projects (2024-04-27, Lean, 0KB, 下载0次)
使用Lean4玩一个小游戏Natural s List,
A little game of Natural s List using Lean4, (2023-09-29, Lean, 0KB, 下载0次)
grhkm与lean和mathlib玩得很开心!,
grhkm having fun with lean and mathlib!, (2023-02-24, Lean, 0KB, 下载0次)
grhkm在玩lean4!,
grhkm messing around with lean4!, (2023-02-28, Lean, 0KB, 下载0次)