formalized proof of interpolation theorem in various logics using sequent calculus
Primary LanguageCoq