/logic-with-python

a tool to work with mathematical logic developed in python

logic-with-python

a tool to work with mathematical logic developed in python