![]() |
Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.2/academic/eprover/ |
|
Contents of README:E is an automated theorem prover for first-order and equational logic. |
Name Last modified Size
Parent Directory -
README 23-Feb-2019 02:31 71
eprover.SlackBuild 05-Sep-2020 03:31 3.1K
eprover.info 05-Sep-2020 03:31 291
slack-desc 23-Feb-2019 02:31 731
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!