Metadata-Version: 2.1
Name: sphinxcontrib-lean
Version: 0.3.1
Summary: A Sphinx domain for the Lean theorem prover
Home-page: https://github.com/Julian/sphinxcontrib-lean
Author: Julian Berman
Author-email: Julian+sphinxcontrib-lean@GrayVines.com
License: UNKNOWN
Project-URL: Documentation, https://sphinxcontrib-lean.readthedocs.io/en/latest/
Project-URL: Source, https://github.com/Julian/sphinxcontrib-lean
Project-URL: Issues, https://github.com/Julian/sphinxcontrib-lean/issues/
Description: ======================
        ``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/
        
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Description-Content-Type: text/x-rst
