使用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次)