prover9 version history (formula)
prover9
formula 1 versions
since Dec 2019
Track prover9 — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 2009-11A | 2019-12-23 | 770dd7a01 |
prover9 version history (formula)
Track prover9 — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 2009-11A | 2019-12-23 | 770dd7a01 |