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

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 README                                           20-Mar-2014 19:27  543   
 logicproof.ins                                   20-Mar-2014 18:06  1.4K  
 logicproof.dtx                                   20-Mar-2014 18:06   24K  
 logicproof.pdf                                   20-Mar-2014 18:06   54K  

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