eprover version history (formula)
eprover
formula 15 versions
since Aug 2012
~253 days between updates
Track eprover — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 3.2 | 2025-02-10 | 7bbb67f64 |
| 3.1 | 2024-05-01 | aed22dc8d |
| 3.0.03 | 2023-11-26 | 623d432de |
| 3.0 | 2023-11-15 | 3b708cbac |
| 2.6 | 2021-06-23 | 6f1bc4e4f |
| 2.5 | 2020-07-29 | 7f45758ec |
| 2.4 | 2019-11-04 | 8e648076b |
| 2.3 | 2019-07-12 | 99514d83e |
| 2.2 | 2018-12-03 | 08987aeed |
| 2.1 | 2018-06-25 | 53e8b183d |
| 2.0 | 2017-09-05 | 9d53cb4fc |
| 1.9 | 2016-02-27 | 85124b18c |
| 1.8 | 2013-08-17 | 006dfd297 |
| 1.7 | 2013-03-30 | a77ab3b0e |
| 1.6 | 2012-08-05 | 43e3d9025 |