GitHub repository: teknomo/Automatic-Theorem-Prover
Primary language: Python
Description: A Python program that tries to prove a statement given a set of propositions in first order logic.