21

The End of Mathematics (daniellitt.com)

an hour ago practal daniellitt.com

3

We're excited to announce that AXLE is switching from Lean to Rocq (axiommath.ai)

4 months ago practal axiommath.ai

1

AI for Math Winners (renaissancephilanthropy.org)

10 months ago practal renaissancephilanthropy.org

2

Persistent sequences with insert and delete and canonical structure? (cs.stackexchange.com)

11 months ago practal stackexchange.com

1

Three challenges in machine-based reasoning (amazon.science)

a year ago practal amazon.science

34

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

a year ago practal marktomforde.com

1

Show HN: Deep Dive into Abstraction Logic [video] (youtube.com)

a year ago practal youtube.com

2

Show HN: Recursive teXt (recursivetext.com)

2 years ago practal recursivetext.com

1

Show HN: A First Look at Practal (practal.com)

3 years ago practal practal.com