Talal Alrawajfeh — BlogTechnical notes and research reflections.https://talalalrawajfeh.eu/What Does a Machine-Checked Proof Actually Verify?https://talalalrawajfeh.eu/blog/mathematics-formalization/https://talalalrawajfeh.eu/blog/mathematics-formalization/Limits of Formal Verification and AutoformalizationMon, 26 Oct 2026 00:00:00 GMTMathematicsFormal verificationLeanAutoformalizationEpistemologyPhilosophy of mathematics