Welcome to ftp.nluug.nl Current directory: /pub/pub/os/Linux/distr/salix/sbo/14.2/academic/eprover/

Current bandwidth utilization 1753.46 Mbit/s

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!