1 year ago|discuss
user: StevenXC
224 karma | created 13 years ago
recent submissions
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
The Lurch Project: a word processor designed to check the reasoning in proofs
(lurchmath.github.io)
1 pts|1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss