ziwaa-se/tex-proof-check-kit

Check the proofs already written in a LaTeX paper by transl…