.gitlab-ci.yml
.pre-commit-config.yaml
AUTHORS
CHANGELOG.md
LICENSE
README.rst
logo.png
logo.tex
pylintrc
pyproject.toml
requirements.txt
setup.cfg
setup.py
stdeb.cfg
tox.ini
.github/ISSUE_TEMPLATE.md
doc/.gitignore
doc/Makefile
doc/conf.py
doc/faq.rst
doc/index.rst
doc/make.bat
doc/requirements.txt
doc/usage.rst
doc/_static/logo.pdf
doc/_static/logo.svg
doc/_static/proof.css
doc/_static/proof.js
sphinxcontrib/proof/__init__.py
sphinxcontrib_proof.egg-info/PKG-INFO
sphinxcontrib_proof.egg-info/SOURCES.txt
sphinxcontrib_proof.egg-info/dependency_links.txt
sphinxcontrib_proof.egg-info/requires.txt
sphinxcontrib_proof.egg-info/top_level.txt
sphinxcontrib_proof.egg-info/zip-safe
static/.gitignore