MathLogProofChecker MathLog proof checker Checks if given proof correct main function inside FinalProofer.kt Input samples in the end of FinalProofer.kt