hol88
Higher Order Logic, system image
Install
- All systems
-
curl cmd.cat/hol88.sh
- Debian
-
apt-get install hol88 - Ubuntu
-
apt-get install hol88 - Kali Linux
-
apt-get install hol88 - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install hol88 - Raspbian
-
apt-get install hol88 - Dockerfile
- dockerfile.run/hol88
hol88
Higher Order Logic, system image
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. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.