ftp.ntua.gr:/mirror/ctan/macros/latex/contrib/ebproof/?C=S&O=A

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 ebproof.ins                                      28-Jan-2021 16:14  557   
 README.md                                        28-Jan-2021 16:14  1.4K  
 ebproof.dtx                                      28-Jan-2021 16:14   55K  
 ebproof.pdf                                      28-Jan-2021 16:14  485K  

Apache/2.2 Server at ftp.ntua.gr Port 80