The Lurch Project: a word processor designed to check the reasoning in proofslurchmath.github.io·1 pts·StevenXC·0
Is there anyone among us who can identify a certain SUS space?math.stackexchange.com·2 pts·StevenXC·0
Workshop on Open-source cyberinfrastructure supporting mathematics researchaimath.org·2 pts·StevenXC·1