StevenXC Karma 224 Created 13 years ago Recent Submissions 1. ▲ The Lurch Project: a word processor designed to check the reasoning in proofs (lurchmath.github.io) 1 point · 1 year ago · 0 comments 2. ▲ Let's Split Up, Gang (split.clontz.org) 1 point · 2 years ago · 0 comments All submissions on HN · View profile on HN