Deriving Comparators and Show Functions in Isabelle/HOL

Christian Sternagel and René Thiemann
Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP 2015), Lecture Notes in Computer Science 9236, pp. 421 – 437, 2015.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-22102-1_28  
© Springer