
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 дней назад

i made a website where you kill a "Real" Simulated Fruit Fly™️ for credits. credits can be used to feed the fruit fly an orange, an apple, give it water, or expand its habitat. alternatively, you can spend lots of credits to talk to the fruit fly. theyre really friendly!! :D
alaska18,883 просмотров • 1 месяц назад
Больше нет контента для загрузки