eprover binary package in Ubuntu Oracular arm64
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 arm64 | release | universe | math | Optional | 3.2.0+ds-1 | ||
|
|||||||||
Deleted | Ubuntu Oracular arm64 | proposed | universe | math | Optional | 3.2.0+ds-1 | |||
|
|||||||||
2024-06-17 14:44:51 UTC | Superseded | Ubuntu Oracular arm64 | release | universe | math | Optional | 3.1.0+ds-2 | ||
|
|||||||||
2024-06-18 18:10:17 UTC | Deleted | Ubuntu Oracular arm64 | proposed | universe | math | Optional | 3.1.0+ds-2 | ||
|
|||||||||
2024-06-11 20:18:50 UTC | Superseded | Ubuntu Oracular arm64 | release | universe | math | Optional | 3.1.0+ds-1 | ||
|
|||||||||
2024-06-13 00:10:18 UTC | Deleted | Ubuntu Oracular arm64 | proposed | universe | math | Optional | 3.1.0+ds-1 | ||
|
|||||||||
2024-05-06 11:14:21 UTC | Superseded | Ubuntu Oracular arm64 | release | universe | math | Optional | 3.0.03+ds-1 | ||
|