.. Pylogic documentation master file, created by
   sphinx-quickstart on Mon Apr 28 18:47:23 2025.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

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



.. toctree::
   :maxdepth: 2
   :caption: Contents:

   pylogic.rst