Heinz Wiesinger 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var | vor 3 Jahren | |
---|---|---|
.. | ||
README | 5c87535b2c academic/eprover: Added (a first-order theorem prover). | vor 5 Jahren |
eprover.SlackBuild | 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var | vor 3 Jahren |
eprover.info | fed4d5c025 academic/eprover: Updated for version 2.5. | vor 4 Jahren |
slack-desc | 5c87535b2c academic/eprover: Added (a first-order theorem prover). | vor 5 Jahren |