matclab/proofmerge archive