threepts

Karma: 42
Created: 5 months ago

Recent Submissions

1. ▲ Show HN: Lean64 – doom64 style FPS on Lean 4 (github.com) 2 points · 2 months ago · 0 comments

All submissions on HN · View profile on HN