Sphinxcontrib-Proof

Sphinxcontrib-Proof

∎ Provide sphinx directives to typeset theorems, properties, proofs, etc.

Project ID: 2254
Name
Last commit
Last update
.github Loading commit data...
doc Loading commit data...
sphinxcontrib/proof Loading commit data...
static Loading commit data...
.gitlab-ci.yml Loading commit data...
.pre-commit-config.yaml Loading commit data...
AUTHORS Loading commit data...
CHANGELOG.md Loading commit data...
LICENSE Loading commit data...
README.rst Loading commit data...
logo.png Loading commit data...
logo.tex Loading commit data...
pylintrc Loading commit data...
pyproject.toml Loading commit data...
requirements.txt Loading commit data...
setup.cfg Loading commit data...
setup.py Loading commit data...
stdeb.cfg Loading commit data...
tox.ini Loading commit data...