sphinxcontrib-lean

Release 0.3.1

A Sphinx domain for the Lean theorem prover

Homepage PyPI Lean

License
MIT
Install
pip install sphinxcontrib-lean==0.3.1

Documentation

Stats

Dependencies
2
Dependent packages
0
Dependent repositories
0
Total releases
3
Latest release
First release
Stars
0
Forks
0
Watchers
1
Contributors
1
Repository size
16.6 KB
SourceRank
7

Releases

0.3.1
0.3.0
0.2.0

Contributors

Julian Berman


See all contributors

Login to resync this project