packages
[ 原始碼： eprover ]
套件： eprover (3.2.5+ds-1) [universe]
eprover 的相關超連結
Ubuntu 的資源：
下載原始碼套件 eprover：
維護者：
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Math Team
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
外部的資源：
- 主頁 [eprover.org]
相似套件：
Equational theorem prover
其他與 eprover 有關的套件
|
|
|
|