GitHub repository: KennerBenjamin/PyRes
Primary language: Python
Description: Pedagogical first-order prover in Python