practal

Karma: 271
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) 3 points · 3 months ago · 1 comment
2. ▲ AI for Math Winners (renaissancephilanthropy.org) 1 point · 8 months ago · 0 comments

All submissions on HN · View profile on HN