Calculational Reasoning Revisited -- An Isabelle/Isar experience (2001)

by Gertrud Bauer , Markus Wenzel
Venue:THEOREM PROVING IN HIGHER ORDER LOGICS: TPHOLS 2001
Citations:13 - 5 self