yuppiemephisto Karma 348 Created 6 years ago Recent Submissions 1. ▲ Formally Verified Code Benchmark (arxiv.org) 2 points · 3 months ago · 0 comments 2. ▲ Which of the classical groups are compact? (alok.github.io) 3 points · 1 year ago · 0 comments All submissions on HN · View profile on HN