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
Show more
sam and dario are like my divorced parents who just take turns saying things i like to hear in order to curry favor so i don't embarrass them in family court in front of a judge
