aouxwoux / REPOSITORY
lean64
Lean64 – doom64 style FPS on Lean 4
Developer toolsShow HNLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
1Top HN score
0Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE