Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
StevenXC | Dark Hacker News
user:
StevenXC
created:
December 6, 2012
karma:
224
submissions
comments
1.
The Lurch Project: a word processor designed to check the reasoning in proofs
(lurchmath.github.io)
1 points
by
StevenXC
2 years ago
|
0 comments
2.
Let's Split Up, Gang
(split.clontz.org)
1 points
by
StevenXC
2 years ago
|
0 comments