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

Current bandwidth utilization 1928.26 Mbit/s

 Name                                             Last modified      Size  
 Parent Directory                                                      -   
 slack-desc                                       23-Feb-2019 02:31  731   
 eprover.info                                     05-Sep-2020 03:31  291   
 eprover.SlackBuild                               05-Sep-2020 03:31  3.1K  
 README                                           23-Feb-2019 02:31   71   

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