Index of /macros/generic/proofs/

This directory on ctan.org. Sizes in bytes, times as CTAN lists them.