bluesky — 12 Aug 2025
Mathematics is also incomplete (assuming it's consistent) and that hasn't stopped lean from engaging with it at research…
#mathematical-logic #formalization #proof-verification
Mathematics is also incomplete (assuming it's consistent) and that hasn't stopped lean from engaging with it at research level