Home
-
Topics
-
Papers
-
Talks
-
Theses
-
Blog
-
CV
-
Photos
-
Funny
Grounded Deduction
Formalizing Grounded Arithmetic atop Isabelle/Pure
– Sascha Kehrli
Sep 30 2025
Reasoning Around Paradox with Grounded Deduction
Sep 12 2024
Bryan Ford