Pattern Matches in HOL:

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

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

2015 ◽

pp. 453-468

Author(s):

Thomas Tuerk ◽

Magnus O. Myreen ◽

Ramana Kumar

Download Full-text