The dawn of formalized mathematics [video]

(youtube.com) by Thom2503 | Sep 11, 2026 | 0 comments on HN