The following pages link to TkWinHOL (Q13712):
Displayed 6 items.
- Class refinement as semantics of correct object substitutability (Q1586166) (← links)
- Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings (Q1897004) (← links)
- Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm (Q2914741) (← links)
- (Q3431400) (← links)
- Functional design and implementation of graphical user interfaces for theorem provers (Q4267722) (← links)
- (Q4825544) (← links)