HOL90

MaRDI QIDQ31441swMATHFDO

Official website https://github.com/theoremprover-museum/HOL90

Source code repository https://github.com/theoremprover-museum/HOL90

Cited in

(10)

• Integrating external deduction tools with ACL2
• TkWinHOL
• Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
• scientific article; zbMATH DE number 2185687 (Why is no real title available?)
• scientific article; zbMATH DE number 2185689 (Why is no real title available?)
• Tactics for Reasoning Modulo AC in Coq
• Interrogator
• Hybrid interactive theorem proving using Nuprl and HOL
• BousiProlog
• On the parameterized complexity of associative and commutative unification

This page was built for software: HOL90