Show HN: Formalizing Principia Mathematica using Lean

📅 2025-04-25    ⚓ Hacker News    🌐 Source    🖼️ Load Image