Coq Theorem Prover Tutorial Meaning