TkWinHOL
From MaRDI portal
Cited in
(9)- 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
- Applying data refinement for monadic programs to Hopcroft's algorithm
- HOL90
- Structured formal development in Isabelle
- DiskPaxos
- Functional design and implementation of graphical user interfaces for theorem provers
- scientific article; zbMATH DE number 2111735 (Why is no real title available?)
- ProofWidgets
This page was built for software: TkWinHOL
