henryrobbins00 Karma 14 Created 6 months ago Recent Submissions 1. ▲ Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com) 3 points · 21 days ago · 0 comments 2. ▲ Show HN: A website to track live music attendance (showcount.com) 3 points · 3 months ago · 1 comment All submissions on HN · View profile on HN