Show HN: Lean64 – doom64 style FPS on Lean 4

Here's a brief summary of the open-source project: Lean64 is an open-source, Doom64-style first-person shooter game developed for Lean 4, an open-source functio