| user: | unprovable |
| created: | November 15, 2016 |
| karma: | 51 |
| about: | Mathematician, Quantum Hacker |
| 1. | |
| 2. | |
| 3. | |
| 4. | Inexpressibility in Exp-Minus-Log (EML)(arxiv.org) |
| 5. | |
| 6. | |
| 7. | Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN(xenaproject.wordpress.com) |
| 8. | |
| 9. | Scientific Word 4.1-6.1 are now free(mackichan.com) |
| 10. | |
| 11. | |
| 12. | |
| 13. | |
| 14. | |
| 15. | |
| 16. | |
| 17. | Quantum Crime – and Overview(quantumvillage.substack.com) |
| 18. | Quantum Computer Modern – a Typeface for drawing quantum circuits(quantum-village.github.io) |
| 19. |