Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
threepts | Dark Hacker News
user:
threepts
created:
April 21, 2026
karma:
42
submissions
comments
1.
Show HN: Lean64 – doom64 style FPS on Lean 4
(github.com)
2 points
by
threepts
33 days ago
|
0 comments