StevenXC

224 karmajoined December 6, 2012On HN

Recent submissions

The Lurch Project: a word processor designed to check the reasoning in proofs lurchmath.github.io
1StevenXC2ydiscuss
Let's Split Up, Gang split.clontz.org
1StevenXC2ydiscuss
Is there anyone among us who can identify a certain SUS space?math.stackexchange.com
2StevenXC2ydiscuss
Workshop on Open-source cyberinfrastructure supporting mathematics research aimath.org
2StevenXC3y1 comment

All submissions and comments on Hacker News.