semvec/pypi-packages huggingface dataset:
sphinxcontrib-lean 0.3.1
A Sphinx domain for the Lean theorem prover

======================
``sphinxcontrib.lean``
======================

|PyPI| |Pythons| |CI| |ReadTheDocs|

.. |PyPI| image:: https://img.shields.io/pypi/v/sphinxcontrib-lean.svg
  :alt: PyPI version
  :target: https://pypi.org/project/sphinxcontrib-lean/

.. |Pythons| image:: https://img.shields.io/pypi/pyversions/sphinxcontrib-lean.svg
  :alt: Supported Python versions
  :target: https://pypi.org/project/sphinxcontrib-lean/

.. |CI| image:: https://github.com/Julian/sphinxcontrib-lean/workflows/CI/badge.svg
  :alt: Build status
  :target: https://github.com/Julian/sphinxcontrib-lean/actions?query=workflow%3ACI

.. |ReadTheDocs| image:: https://readthedocs.org/projects/sphinxcontrib-lean/badge/?version=stable&style=flat
  :alt: ReadTheDocs status
  :target: https://sphinxcontrib-lean.readthedocs.io/en/stable/

A (highly experimental) `Sphinx domain`_ for the `Lean theorem prover`_.

.. _Sphinx domain: https://www.sphinx-doc.org/en/master/usage/restructuredtext/domains.html
.. _Lean theorem prover: https://leanprover.github.io/