Show HN: Lean64 – doom64 style FPS on Lean 4

(github.com) by threepts | Jul 15, 2026 | 0 comments on HN