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

README

E is an automated theorem prover for first-order and equational logic.