How to check my proofs are correct (self-taught)?