TkWinHOL
From MaRDI portal
Software:13712
No author found.
Related Items (6)
Functional design and implementation of graphical user interfaces for theorem provers ⋮ Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings ⋮ Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Class refinement as semantics of correct object substitutability
This page was built for software: TkWinHOL
