logic4py (pypi): logic4py is a libray for teaching logic to computer science students.
Keywords: Propositional Logic|First-Order Logia|Teaching Logic|Educational Software