LADR¶
Prover9, Mace4, and several related programs come packaged in a system called LADR (Library for Automated Deduction Research).
homepage: https://www.cs.unm.edu/~mccune/mace4/download
| version | toolchain |
|---|---|
2009-11A |
GCCcore/10.2.0 |
(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)