TkWinHOL
From MaRDI portal
Software:13712
swMATH968MaRDI QIDQ13712FDOQ13712
Author name not available (Why is that?)
Cited In (6)
- Title not available (Why is that?)
- Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm
- Title not available (Why is that?)
- Functional design and implementation of graphical user interfaces for theorem provers
- Class refinement as semantics of correct object substitutability
- Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
This page was built for software: TkWinHOL
