Twin directories of proofs:

[DIR]  ftp://ftp.inf.utfsm.cl/pub/tex-archive/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.inf.utfsm.cl/pub/tex-archive/macros/generic/proofs/
[DIR]  ftp://ftp.kreonet.re.kr/CTAN/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.kreonet.re.kr/CTAN/macros/generic/proofs/
[DIR]  ftp://ftp.uni-koeln.de/tex/macros/generic/proofs/
[DIR]  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/latex/dante/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/latex/dante/macros/generic/proofs/
[DIR]  ftp://ftp.ics.muni.cz/pub/EMIS/journals/ETNA/proofs/
[DIR]  ftp://24.215.0.24/CTAN/obsolete/macros/generic/proofs/
[DIR]  ftp://24.215.0.24/CTAN/macros/generic/proofs/
[DIR]  ftp://ftp.sztaki.hu/pub/tex/macros/generic/proofs/
[DIR]  ftp://ftp.tug.ctan.org/pub/tex-archive/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.tug.ctan.org/pub/tex-archive/macros/generic/proofs/
[DIR]  ftp://ftp.asu.ru/incoming/forBelikovAndBushin/latex/texmf/source/latex/proofs/
[DIR]  ftp://ftp.tu-ilmenau.de/Mirrors/tex/macros/generic/proofs/
[DIR]  ftp://ftp.tu-ilmenau.de/Mirrors/tex/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.cvut.cz/mirrors/ctan.org/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.cvut.cz/mirrors/ctan.org/macros/generic/proofs/
[DIR]  ftp://ftp1.sinica.edu.tw/pub1/tex/macros/generic/proofs/
[DIR]  ftp://ftp.botik.ru/rented/znamensk/CTAN/macros/generic/proofs/
[DIR]  ftp://206.63.32.240/pub/users/proofs/
[DIR]  ftp://206.63.32.241/pub/users/proofs/
[DIR]  ftp://ftp.int.ru/.1/CTAN/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.int.ru/.1/CTAN/macros/generic/proofs/
[DIR]  ftp://147.52.159.12/mirrors/CTAN/obsolete/macros/generic/proofs/
[DIR]  ftp://147.52.159.12/mirrors/CTAN/macros/generic/proofs/
[DIR]  ftp://ftp.cs.rpi.edu/mirrors/tex-archive/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.cs.rpi.edu/mirrors/tex-archive/macros/generic/proofs/
[DIR]  ftp://ftp.informatik.uni-hamburg.de/pub/soft/tex/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.informatik.uni-hamburg.de/pub/soft/tex/macros/generic/proofs/
[DIR]  ftp://ftp.uni-wuppertal.de/pub/TeX/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.uni-wuppertal.de/pub/TeX/macros/generic/proofs/
[DIR]  ftp://ftp.uni-augsburg.de/mirrors/misc/ftp.dante.de/tex-archive/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.uni-augsburg.de/mirrors/misc/ftp.dante.de/tex-archive/macros/generic/proofs/
[DIR]  ftp://ftp.di.uminho.pt/pub/ctan/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.di.uminho.pt/pub/ctan/macros/generic/proofs/
[DIR]  ftp://ftp.udc.es/mirror/CTAN/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.udc.es/mirror/CTAN/macros/generic/proofs/
[DIR]  ftp://ftp.iks-jena.de/pub/mitarb/lutz/LaTeX/tex-archive/macros/generic/proofs/
[DIR]  ftp://ftp.dante.de/pub/tex/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.dante.de/pub/tex/macros/generic/proofs/
[DIR]  ftp://ftp.tex.ac.uk/tex-archive/macros/generic/proofs/
[DIR]  ftp://ftp.tex.ac.uk/tex-archive/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.ntnu.no/old/pub/tex/CTAN/macros/generic/proofs/
[DIR]  ftp://ftp.cs.uu.nl/mirror/tex-archive/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.cs.uu.nl/mirror/tex-archive/macros/generic/proofs/
[DIR]  ftp://ftp.rhrz.uni-bonn.de/pub-koeln/tex/macros/generic/proofs/
[DIR]  ftp://ftp.cstug.cz/pub/CTAN/obsolete/macros/generic/proofs/
[DIR]  ftp://ftp.cstug.cz/pub/CTAN/macros/generic/proofs/
[DIR]  ftp://ftp.eq.uc.pt/pub/software/TeX/obsolete/macros/generic/proofs/