executablebooks / sphinx-proofLinks
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
☆35Updated 2 weeks ago
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 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 last year
- A Sphinx extension to support continuous numbering of sections across multiple tocs in HTML output.☆14Updated 3 years ago
- Convert ReStructuredText to MyST Markdown☆66Updated this week
- hypothes.is interaction layer with Sphinx☆24Updated 2 years ago
- Meta-package providing the oldest supported Numpy for a given Python version and platform☆54Updated 8 months ago
- Sphinx extension using KaTeX to render math in HTML☆28Updated last year
- pytest plugin to facilitate comparison of results to a pre-defined reference☆27Updated 4 months ago
- Python routines for Monte Carlo integration. Written in Cython and Python for fast computations. @Naereen knows the installation is broke…☆32Updated last month
- Traitlets types for NumPy, SciPy and friends☆34Updated last year
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated last week
- Live clone of https://sourceforge.net/p/docutils/code/HEAD/tree/.☆20Updated last week
- Subsumed into xnd☆25Updated last year
- A defined interface for working with a cache of executed jupyter notebooks☆53Updated this week
- Render CLI arguments (sub-commands friendly) defined by the argparse module.☆24Updated last week
- SciPy fixes and extensions☆19Updated 3 years ago
- Python checker for places where deprecated functions are called.☆30Updated last year
- A conda-smithy repository for llvmdev.☆9Updated this week
- A sphinx extension for including notebook files from outside sphinx source root.☆37Updated 8 months ago
- A GitHub action for setting up the Mamba package manager☆20Updated last year
- Simple installer for conda (and conda-likes)☆16Updated last month
- A conda-smithy repository for clangdev.☆11Updated this week
- Build a sphinx changelog from GitHub Releases☆28Updated 3 weeks ago
- GitHub bot for SymPy☆21Updated 8 months ago
- A Sphinx extension for running sphinx-apidoc on each build☆61Updated 3 weeks ago
- MPI parallel map and cluster scheduling☆61Updated last month
- Press conda packages into wheels☆115Updated last year
- ☆15Updated last year
- lazyarray is a Python package that provides a lazily-evaluated numerical array class, larray, based on and compatible with NumPy arrays.☆21Updated 8 months ago
- The extension for Sphinx documentation projects that handles redirects for moved pages. Based on the its configuration, the extension gen…☆13Updated this week