math/eprover
| Maintainer | yuri@FreeBSD.org |
|---|---|
| Comment | Theorem prover for full first-order logic with equality |
| Categories | math |
| Links | FreshPorts upstream |
Fallout list
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 2.6_2 | main-amd64-default | build | detail · log · report · build queue | |
| 2.6_2 | 144amd64-default | build | detail · log · report · build queue | |
| 2.6_2 | main-amd64-default | build | detail · log · report · build queue |