The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Hurd, Joe: Predicate subtyping with predicate sets (2001)
- Peters, James F.; Skowron, Andrzej; Suraj, Zbigniew; Pedrycz, Witold; Ramanna, Sheela: Approximate real-time decision making: Concepts and rough fuzzy Petri net models (1999)