Combining Isabelle and QEPCAD-B in the Prover's Palette.

Laura I. Meikle, Jacques D. Fleuriot

Browse the full AISC paper archive.