LICENSE
MANIFEST.in
README.md
setup.py
sphinx_proof/__init__.py
sphinx_proof/directive.py
sphinx_proof/domain.py
sphinx_proof/nodes.py
sphinx_proof/proof_type.py
sphinx_proof.egg-info/PKG-INFO
sphinx_proof.egg-info/SOURCES.txt
sphinx_proof.egg-info/dependency_links.txt
sphinx_proof.egg-info/requires.txt
sphinx_proof.egg-info/top_level.txt
sphinx_proof/_static/proof.css
sphinx_proof/_static/minimal/proof.css
sphinx_proof/translations/__init__.py
sphinx_proof/translations/_convert.py
sphinx_proof/translations/jsons/Algorithm.json
sphinx_proof/translations/jsons/Assumption.json
sphinx_proof/translations/jsons/Axiom.json
sphinx_proof/translations/jsons/Conjecture.json
sphinx_proof/translations/jsons/Corollary.json
sphinx_proof/translations/jsons/Criterion.json
sphinx_proof/translations/jsons/Definition.json
sphinx_proof/translations/jsons/Example.json
sphinx_proof/translations/jsons/Lemma.json
sphinx_proof/translations/jsons/Notation.json
sphinx_proof/translations/jsons/Observation.json
sphinx_proof/translations/jsons/Property.json
sphinx_proof/translations/jsons/Proposition.json
sphinx_proof/translations/jsons/Remark.json
sphinx_proof/translations/jsons/Theorem.json
sphinx_proof/translations/locales/__init__.py
sphinx_proof/translations/locales/ar/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/bg/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/bn/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/da/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/de/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/el/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/fa/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/fi/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/fr/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/he/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/hi/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/hu/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/id/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/it/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/ja/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/ko/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/ms/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/no/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/pl/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/pt/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/ro/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/ru/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/sv/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/th/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/tr/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/uk/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/ur/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/vi/LC_MESSAGES/proof.mo
sphinx_proof/translations/locales/zh_CN/LC_MESSAGES/proof.mo
tests/test_html.py
tests/test_latex.py
tests/test_locale_convert.py