practal's submissions

1.		Three challenges in machine-based reasoning (amazon.science)
		1 point by practal 35 days ago \| past
2.		Mathematics in the 20th century, by Michael Atiyah [pdf] (2002) (marktomforde.com)
		122 points by practal 7 months ago \| past \| 18 comments
3.		Show HN: Deep Dive into Abstraction Logic [video] (youtube.com)
		1 point by practal 10 months ago \| past
4.		Show HN: Recursive teXt (recursivetext.com)
		2 points by practal on Jan 22, 2024 \| past
5.		Show HN: A First Look at Practal (practal.com)
		2 points by practal on Feb 4, 2023 \| past
6.		A Practical Logic (practal.com)
		1 point by practal on July 23, 2020 \| past \| 1 comment