prover9

2009-11A

Automated theorem prover for first-order and equational logic

Install

brew install prover9

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2009-11A	File SHA-256 `760cc237b9a258a797e082e241630f4a4548b78caa109edcaefc25d1946d032f`
Apple Silicon	Tahoe	2009-11A	File SHA-256 `f50efa708e0a002db67d676da0207bed5d12c71b5ca5c3da1db857e21864c294`
Apple Silicon	Sequoia	2009-11A	File SHA-256 `dc3e744b9971aabf272db720d2fb90a8b99dca8cb8799ef9d9d89beb306eb291`
Apple Silicon	Sonoma	2009-11A	File SHA-256 `92508ef60be4768b9567c677c4aae881f04ef84de98d2bbff299739f906198ba`
Apple Silicon	Ventura	2009-11A	File SHA-256 `e4ab7e6152098318be4a839b1fa2c6e50dc6868ef6b08c8d34d2175aac1736fe`
Apple Silicon	Monterey	2009-11A	File SHA-256 `4f864bc7f43cde5bf0e7f5b69e26879833b53e5d1c3a8b9404c16062cbe7ca14`
Apple Silicon	Big Sur	2009-11A	File SHA-256 `3d5bf0492b97661c22bc8077463c7f577971e1a6f2db5a70f0bb86337c8de02f`
Intel	Sonoma	2009-11A	File SHA-256 `928f8946fa76129d2d394caeb5a0b75dd574ad485ba5fa39c408eb6c602a5c27`
Intel	Ventura	2009-11A	File SHA-256 `605c09fc8888af3a28e2b8de5b41fdb41ca19a8eb2d4f2f7f7e47187eae6ac4c`
Intel	Monterey	2009-11A	File SHA-256 `eb0ab8deaf0e9866c6fb241877767f99ca7b4d7d8b5268a0c6ce7ef9fb0cfbd3`
Intel	Big Sur	2009-11A	File SHA-256 `a81af1adbb27059709ec9bd9afd30e7819fbd750ea18736c079640058e9ca5b0`
ARM64	Linux	2009-11A	File SHA-256 `a61553c5a3e18b08afb168e0decbf7037fafca31b3b48430730096404520908c`
x86_64	Linux	2009-11A	File SHA-256 `9f1cf6703e83cffd06e2025d6b5062dbf7e4dd7f3ca398618ac688e8ce165e1d`