GitHub repository: liblaf/propositional-calculus
Primary language: Python
Description: Programming homework of Discrete Mathematics(1)