Info
This post is auto-generated from RSS feed Hacker News. Source: Why formalize mathematics – more than catching errors
Why formalize mathematics – more than catching errors
⚓ IT 📅 2025-10-19 👤 surdeus 👁️ 2