aouxwoux/lean64
doom64 but lean
2 best points · 0 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: Lean64 – doom64 style FPS on Lean 4 (2 points, 0 comments, by threepts, 2026-07-15)
doom64 but lean
2 best points · 0 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub