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