Show HN: Formalizing Principia Mathematica using Lean

⚓ IT    📅 2025-04-25    👤 surdeus    👁️ 1