Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/academic/eprover/

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

 Name                                                       Last modified      Size  
 Parent Directory                                                                -   
 E.tgz                                                      04-Jun-2022 02:31  2.3M  
 README                                                     04-Jun-2022 02:31   71   
 eprover.SlackBuild                                         11-Mar-2022 06:34  3.4K  
 eprover.info                                               04-Jun-2022 02:31  291   
 slack-desc                                                 04-Jun-2022 02:31  731   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!