eprover binary package in Ubuntu Oracular armhf
This package provides tools to prove equational theorems:
from a mathematical specification in many-sorted first-order
logic with equality and an hypothesis/
will look for a proof.
Publishing history
| Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
|---|---|---|---|---|---|---|---|---|---|
| 2024-06-17 14:43:42 UTC | Published | Ubuntu Oracular armhf | release | universe | math | Optional | 3.2.0+ds-1 | ||
|
|||||||||
| Deleted | Ubuntu Oracular armhf | proposed | universe | math | Optional | 3.2.0+ds-1 | |||
|
|||||||||
| 2024-06-17 14:44:51 UTC | Superseded | Ubuntu Oracular armhf | release | universe | math | Optional | 3.1.0+ds-2 | ||
|
|||||||||
| 2024-06-18 18:10:17 UTC | Deleted | Ubuntu Oracular armhf | proposed | universe | math | Optional | 3.1.0+ds-2 | ||
|
|||||||||
| 2024-06-11 20:18:50 UTC | Superseded | Ubuntu Oracular armhf | release | universe | math | Optional | 3.1.0+ds-1 | ||
|
|||||||||
| 2024-05-09 11:31:28 UTC | Superseded | Ubuntu Oracular armhf | release | universe | math | Optional | 3.0.03+ds-1 | ||
|
|||||||||
