Show HN: Lean64 – doom64 style FPS on Lean 4
By threepts · 2026-07-15 · 1 points · 0 comments
https://github.com/aouxwoux/lean64
I wanted to see how lean does outside of theorems. (currently studying ME, professor introduced us to lean4) Lean handles the game loop, geometry, collision detection, enemy AI, weapons, particles, and HUD. The native side is a roughly 570-line C shim that handles Win32 input an…
Open the full discussion on BetterNews