Skip to content

Top Best Ask Show New 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)

1StevenXC2y ago0

2

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

(split.clontz.org)

1StevenXC2y ago0

3

Is there anyone among us who can identify a certain SUS space? (opens in new tab)

(math.stackexchange.com)

2StevenXC2y ago0

4

Workshop on Open-source cyberinfrastructure supporting mathematics research (opens in new tab)

(aimath.org)

2StevenXC2y ago1