GitHub repository: kkty/theorem-prover
Primary language: TypeScript
Description: Automated theorem prover for first-order predicate logic written in TypeScript