GitHub repository: luncj/Automated-theorem-prover
Primary language: Python
Description: Homework of discrete mathematics