Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/15.0/academic/eprover/?C=N;O=D

Current bandwidth utilization 907.12 Mbit/s

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 slack-desc                               11-Mar-2022 06:34  731   
 eprover.info                             11-Mar-2022 06:34  291   
 eprover.SlackBuild                       11-Mar-2022 06:34  3.4K  
 README                                   11-Mar-2022 06:34   71   

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