A checker for proofs done in elementary formal systems