Structured Induction Proofs in Isabelle/Isar

DOI10.1007/11812289_3zbMath1188.68266OpenAlexW1583435594MaRDI QIDQ5756773

Makarius Wenzel

Publication date: 5 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11812289_3

Mathematics Subject Classification ID

Computing methodologies for text processing; mathematical typography (68U15)

Related Items (2)

Nominal techniques in Isabelle/HOL ⋮ The Isabelle Framework

Uses Software

• Isabelle
• Isabelle/Isar
• Isar

This page was built for publication: Structured Induction Proofs in Isabelle/Isar