↗prsantos-com/Propositional-CheckerThis is a propositional checker that checks if two propositions are equivalent.