Proof pearl: using combinators to manipulate let-expressions in proof
Abstract
Description
Keywords
Citation
Collections
Source
Type
Book Title
Theorem Proving in Higher Order Logics: 18th international conference TPHOLs 2005, Oxford 2005, proceedings