Semi-Automated Python Proof Assistant - View it on GitHub