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