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