Welcome to ftp.nluug.nl Current directory: /pub/os/Linux/distr/salix/x86_64/extra-15.0/source/academic/eprover/?C=N&O=D

Current bandwidth utilization 965.41 Mbit/s

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

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