Christoph Lüth

Latest

• Structured Formal Development in Isabelle
• Theorem Reuse by Proof Term Transformation"
• Abstracting Refinements for Transformation"