Pylogic documentation¶

Pylogic is a Python library for propositional and higher-order logic. It is aimed at undergraduates for courses like Real Analysis, Introductory Number Theory and Logic.

View the source code on Github: https://github.com/L-iet/pylogic