swMATH19616MaRDI QIDQ31441FDOQ31441
Author name not available (Why is that?)
Official website: https://github.com/theoremprover-museum/HOL90
Source code repository: https://github.com/theoremprover-museum/HOL90
Cited In (10)
- Title not available (Why is that?)
- On the parameterized complexity of associative and commutative unification
- Title not available (Why is that?)
- BousiProlog
- Integrating external deduction tools with ACL2
- Hybrid interactive theorem proving using Nuprl and HOL
- TkWinHOL
- Tactics for Reasoning Modulo AC in Coq
- Interrogator
- 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: HOL90
