Certificates, Dedukti, linearize arithmetic, muMALL, Peano arithmetic, polarity, proof certification, proof checking, proof theory, proofcert, TPTP, TSTP.