This package enables to check proofs with the basic rules.