pyproof simple proof assistant Started as a weekend project to implement formal proofs from Baronett's Introduction to Logic