Structured induction proofs in Isabelle/Isar (2006)

Cached

Download Links

by Makarius Wenzel
Venue:MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2006), LNAI
Citations:4 - 1 self