| user: | abetusk |
| created: | July 24, 2014 |
| karma: | 5.5k |
| about: | https://abetusk.github.io abetusk@mechaelephant.com |
| 1. | Tiny Brutalism(placeholders.itch.io) |
| 2. | There is no Percolation at the Critical Probability in all Dimensions(gilkalai.wordpress.com) |
| 3. | Universe, Drawn in ASCII(gcdatlas.vercel.app) |
| 4. | Lean Game Server(adam.math.hhu.de) |
| 5. | Natural Number Game (Lean4 Tutorial)(adam.math.hhu.de) |
| 6. | |
| 7. | |
| 8. | |
| 9. | Openness Made All of This Possible(opensource.org) |