There is also a theorem prover called HOL; see HOL theorem prover.
... Scotland, Museums in Wales, Museums in Northern Ireland, Museums in the Republic of Ireland Berkshire Reading Museum[?] (Replica of the Bayeux ...