HN
Hacker News
Top
New
Best
Ask
Show
Jobs
threepts
42 karma · joined April 21, 2026
submissions
comments
Show HN: Lean64 – doom64 style FPS on Lean 4
github.com
·
2 pts
·
threepts
·
0