propositional-logic · GitHub Topics