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