Skip to content

Top New Best Ask Show Jobs

StevenXC | Better HN

StevenXC

224 karmaJoined December 6, 201288 submissions

Recent submissions

1

The Lurch Project: a word processor designed to check the reasoning in proofs (opens in new tab)

(lurchmath.github.io)

1StevenXC1y ago0

2

Let's Split Up, Gang (opens in new tab)

(split.clontz.org)

1StevenXC2y ago0