GitHub repository: snim2/tautology-checker
Primary language: Java
Description: Simple tautology checker for propositional calculus