Deriving Comparators and Show Functions in Isabelle/HOL

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22102-1_28 ◽

2015 ◽

pp. 421-437 ◽

Cited By ~ 1

Author(s):

Christian Sternagel ◽

René Thiemann

Download Full-text