Fact and Fiction in Grounded Set Theory	Aug 19 2026
Idealizing Useful Fictions in Omega Grounded Arithmetic	Aug 18 2026
Internalized Truth in Reflective Grounded Arithmetic	Aug 17 2026
Computable Quantification in Reflective Grounded Arithmetic	Jul 28 2026
Formalizing Paradoxes in Grounded Arithmetic using Isabelle/HOL	Jul 25 2026
Grounded Verification of Recursive Trace Systems – Benjamin Bürki	Jun 23 2026
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic	Oct 29 2025
Formalizing Grounded Arithmetic atop Isabelle/Pure – Sascha Kehrli	Sep 30 2025
Reasoning Around Paradox with Grounded Deduction	Sep 12 2024
CertiKOS: A Certified Kernel for Secure Cloud Computing	Jul 11 2011
Advanced Development of Certified OS Kernels	Jul 15 2010

Formal Verification