eprover

3.2

Theorem prover for full first-order logic with equality

Install

brew install eprover

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	3.2	File SHA-256 `b86f9eab83c6ceff9a61a55a71f2ec28c399eb05fa1553b2a3db53516f5e4d43`
Apple Silicon	Tahoe	3.2	File SHA-256 `c01a004aee61d877eecbb457c34217d181e560455e5c70faaaaaecb3d753d59c`
Apple Silicon	Sequoia	3.2	File SHA-256 `223a449ee66977e8d1dcbb7754ae3abdb46f22fc543ce0649051b720c23a2586`
Apple Silicon	Sonoma	3.2	File SHA-256 `f690b2f275b3a37b8ab622efae78bfa9170f40cbcf46cb3750efe63d6a471838`
Apple Silicon	Ventura	3.2	File SHA-256 `6fe61cbeabd5935b6f020064ab65bd93b36cf4c69069ec207fdfd29db08026cb`
Intel	Sonoma	3.2	File SHA-256 `4211bca5c7075d8a387d3a3f112270bde241a9f7e9621cdf631224d67b21a55f`
Intel	Ventura	3.2	File SHA-256 `0bbb0c7af2039115ab05e98ee1b355fe4f33610d1940ad560b824cbcacabf9e5`
ARM64	Linux	3.2	File SHA-256 `d8787c5f0cb13c1ca7093aab86bcb2e80e03b321faeacddd0ed325c2f1ab7a55`
x86_64	Linux	3.2	File SHA-256 `9938d476044c8d9a8733cd3e0417f42aecdb488ce719f3c2eabf32d151dbd6ba`