alaska
@145k4
加入 March 2022
539 正在關注 8.3K 粉絲
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
顯示更多
