black_knight Karma 557 Created 11 years ago Recent Submissions 1. ▲ Issue for formalised proof of P=NP (github.com) 3 points · 19 days ago · 1 comment All submissions on HN · View profile on HN