TkWinHOL

swMATH968MaRDI QIDQ13712FDOQ13712

Author name not available (Why is that?)

Official website: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.4313

Cited In (9)

• ProofWidgets
• 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
• Structured formal development in Isabelle
• HOL90
• DiskPaxos
• 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