| user: | practal |
| created: | July 23, 2020 |
| karma: | 256 |
| about: | Researcher and freelancer. Developing Practal (https://practal.com). GitHub: https://github.com/phlegmaticprogrammer email: obua@practal.com |
| 1. | We're excited to announce that AXLE is switching from Lean to Rocq(axle.axiommath.ai) |
| 2. | AI for Math Winners(renaissancephilanthropy.org) |
| 3. | Persistent sequences with insert and delete and canonical structure?(cs.stackexchange.com) |
| 4. | Three challenges in machine-based reasoning(amazon.science) |