GitHub repository: matteo-psnt/proof-generator
Primary language: Python
Description: A Python tool for generating proofs of logical expressions, with features for parsing expressions, constructing proofs, and evaluating truth tables."