elcomet Karma 2,672 Created 7 years ago About elcomet at mailbox dot org Recent Submissions 1. ▲ What does a lean proof prove? (supaiku.com) 5 points · 3 months ago · 1 comment All submissions on HN · View profile on HN