4 citations · 6 across the 3 of their papers we have counts for
1 paper · 2 filters
Tom Ridge
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formally and…