executablebooks / sphinx-proofLinks
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
☆35Updated this week
Alternatives and similar repositories for sphinx-proof
Users that are interested in sphinx-proof are comparing it to the libraries listed below
Sorting:
- Sphinx extension to let you write LaTeX math using $$☆33Updated 3 weeks ago
- Meta-package providing the oldest supported Numpy for a given Python version and platform☆54Updated last year
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆29Updated 4 months ago
- Traitlets types for NumPy, SciPy and friends☆36Updated this week
- Subsumed into xnd☆25Updated 2 years ago
- Build a sphinx changelog from GitHub Releases☆29Updated this week
- Sphinx extension for bibtex style references.☆186Updated last month
- Press conda packages into wheels☆116Updated 2 years ago
- Sphinx extension using KaTeX to render math in HTML☆29Updated 3 months ago
- A MkDocs plugin for citation management using bibtex☆86Updated 3 weeks ago
- Supporting LaTeX infrastructure for Jupyter Book☆31Updated last year
- A cookiecutter recipe for building JupyterLab extensions.☆56Updated 2 years ago
- Convert ReStructuredText to MyST Markdown☆68Updated this week
- A Sphinx Extension for Generating Jupyter Notebooks☆77Updated 2 months ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated last month
- Python implementation of Mathematics of Arrays (MOA)☆23Updated 4 years ago
- An extension to use emoji codes in your Sphinx documentation! 😍☆55Updated last year
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆44Updated 2 weeks ago
- A Sphinx extension for running sphinx-apidoc on each build☆64Updated 5 months ago
- Tool to merge environment files of the conda package manager☆58Updated 11 months ago
- Sphinx extension for generating API documentation☆66Updated 3 weeks ago
- An insipid theme for the Sphinx documentation generator.☆40Updated this week
- hypothes.is interaction layer with Sphinx☆25Updated 2 years ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 5 years ago
- Simple markdown changelogs for GitHub repositories☆53Updated 3 weeks ago
- Demo project for building and shipping Python conda packages with Appveyor CI and Travis CI☆67Updated 6 years ago
- A tool for automatically deploying docs from Travis CI to GitHub pages.☆107Updated 4 years ago
- A simple automation framework in Python☆29Updated 4 months ago
- A conda-smithy repository for python.☆48Updated last week
- Run flake8 checks on code in *.rst files or in docstrings☆22Updated 4 years ago