threepts Karma 42 Created 3 months ago Recent Submissions 1. ▲ Show HN: Lean64 – doom64 style FPS on Lean 4 (github.com) 2 points · 15 days ago · 0 comments All submissions on HN · View profile on HN