Skip to content

Top Best Ask Show New Jobs

practal | Better HN

practal

270 karmaJoined July 23, 2020248 submissions

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 (opens in new tab)

(axle.axiommath.ai)

3practal2mo ago1

2

AI for Math Winners (opens in new tab)

(renaissancephilanthropy.org)

1practal8mo ago0

3

Persistent sequences with insert and delete and canonical structure? (opens in new tab)

(cs.stackexchange.com)

1practal9mo ago1

4

Three challenges in machine-based reasoning (opens in new tab)

(amazon.science)

1practal10mo ago0