practal
- Karma
- 285
- Created
- 6 years ago
About
Researcher and freelancer. Developing Practal (https://practal.com).GitHub: https://github.com/phlegmaticprogrammer email: obua@practal.com
Recent Submissions
- 1. ▲ The End of Mathematics (daniellitt.com)
- 2. ▲ We're excited to announce that AXLE is switching from Lean to Rocq (axle.axiommath.ai)