Show HN: Lean64 – doom64 style FPS on Lean 4

1 points | by threepts 7 hours ago