GitHub repository: teknomo/theorem-prover
Primary language: Python
Description: An automated theorem prover for first-order logic.