Links for proofatlas