A proof validator written in Python!