Christoph Lüth

Joint Papers

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