minor fix on readme etc
fix(tools/proofchecker/checker): fix math functions(asin,acos,etc)