| 1. | | The Lurch Project: a word processor designed to check the reasoning in proofs (lurchmath.github.io) |
| 1 point by StevenXC on April 7, 2024 | past |
|
| 2. | | Let's Split Up, Gang (clontz.org) |
| 1 point by StevenXC on Dec 8, 2023 | past |
|
| 3. | | Is there anyone among us who can identify a certain SUS space? (math.stackexchange.com) |
| 2 points by StevenXC on Sept 30, 2023 | past |
|
| 4. | | Workshop on Open-source cyberinfrastructure supporting mathematics research (aimath.org) |
| 2 points by StevenXC on July 28, 2023 | past | 1 comment |
|
| 5. | | 6รท2(1+2)=? (stevenclontz.com) |
| 21 points by StevenXC on March 17, 2013 | past | 55 comments |
|
| 6. | | Font Awesome 3.0 Released (twitter.com/fortaweso_me) |
| 5 points by StevenXC on Jan 3, 2013 | past |
|
