
alaska
@145k4 • 8,215 subscribers
Shorts
Videos

upping my (Lean)DOOM i got curious about math proofs and Lean formalization, found out you can do general programming in lean, and i wanted to learn more so i did the obvious thing. (Lean)DOOM is entirely written in lean, and has presently a couple proofs where they make sense
alaska30,390 次观看 • 27 天前
没有更多内容可加载