Repository
https://github.com/spapanik/mathlib.git
Project Slug
mathlib
Last Built
3 days, 2 hours ago
passed
Maintainers
Home Page
https://github.com/spapanik/mathlib.git
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/mathlib/badge/?version=stable
:target: https://mathlib.readthedocs.io/en/stable/?badge=stable
:alt: Documentation Status
-
Markdown
[](https://mathlib.readthedocs.io/en/stable/?badge=stable)
-
HTML
<a href='https://mathlib.readthedocs.io/en/stable/?badge=stable'>
<img src='https://readthedocs.org/projects/mathlib/badge/?version=stable' alt='Documentation Status' />
</a>
Tags
Project has no tags.
Short URLs
mathlib.readthedocs.io
mathlib.rtfd.io
Default Version
stable
'latest' Version
main
