ftp.ntua.gr:/mirror/CTAN/macros/latex2e/contrib/ebproof/?C=S&O=D

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

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