HN Explorer

threepts

↗ HN profile [ 73.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Lean64 – doom64 style FPS on Lean 4 (github.com)

    I wanted to see how lean does outside of theorems. (currently studying ME, professor introduced us to lean4) Lean handles the game loop, geometry, collision detection, enemy AI, weapons, particles, and HUD. The native…

    2 points 0