lp-csic-uab/proofs archive