practal
- Karma
- 256
- Created
- 5 years ago
About
Researcher and freelancer. Developing Practal (https://practal.com).GitHub: https://github.com/phlegmaticprogrammer email: obua@practal.com
Recent Submissions
- 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)