GitHub repository: tani/sandcat
Primary language: Python
Description: A Lambek Calculus prover implemented with the SAT solver (SMT solver)