fix(tools/proofcheck/checker): use marctan instead of matan

close #20.