An Automated Theorem Prover in Pythongithub.com2 points·stepstep··0 commentsOpen articleSaveView on HN