tautologies
There are 2 repositories under tautologies topic.
ccodecheff/CSCI-217
This repository includes Abella assignments and study notes. It might have few mistakes but please use these notes as reference. Best of Luck!
rnowotniak/Logic-tautologies
My program for checking for tautologies and contradictions in Propositional Logic