Why formalize mathematics – more than catching errors

📅 2025-10-19    ⚓ Hacker News    🌐 Source    🖼️ Load Image