Links for proofinfo