There is also a theorem prover called HOL; see HOL theorem prover.
... Wikipedia <<Up Contents Eurofighter TyphoonRedirected from Eurofighter Eurofighter Typhoon at Farnborough (UK) in 2002. Larg ...