Repository
https://github.com/inpefess/isabelle-client.git
Project Slug
isabelle-client
Last Built
3 weeks, 3 days ago
passed
Maintainers
Home Page
https://pypi.org/project/isabelle-client/
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/isabelle-client/badge/?version=latest
:target: https://isabelle-client.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[![Documentation Status](https://readthedocs.org/projects/isabelle-client/badge/?version=latest)](https://isabelle-client.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://isabelle-client.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/isabelle-client/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
client,
isabelle,
tcp
Short URLs
isabelle-client.readthedocs.io
isabelle-client.rtfd.io
Default Version
latest
'latest' Version
master