Top New Best Ask Show Jobs

practal

325 karma · joined July 23, 2020

Researcher and freelancer. Developing Practal (https://practal.com).

GitHub: https://github.com/phlegmaticprogrammer email: obua@practal.com

submissions comments

How to Formalize All of Mathematics

xenaproject.wordpress.com·98 pts·practal·

The End of Mathematics

daniellitt.com·33 pts·practal·

We're excited to announce that AXLE is switching from Lean to Rocq

axle.axiommath.ai·3 pts·practal·

AI for Math Winners

renaissancephilanthropy.org·1 pts·practal·

Persistent sequences with insert and delete and canonical structure?

cs.stackexchange.com·1 pts·practal·

Three challenges in machine-based reasoning

amazon.science·1 pts·practal·

Mathematics in the 20th century, by Michael Atiyah [pdf] (2002)

marktomforde.com·122 pts·practal·

Show HN: Deep Dive into Abstraction Logic [video]

youtube.com·1 pts·practal·

Show HN: Recursive teXt

recursivetext.com·2 pts·practal·

Show HN: A First Look at Practal

practal.com·2 pts·practal·

A Practical Logic

practal.com·1 pts·practal·