PyPI page
Home page
Author:
Boris Shminke
Summary:
A client to Isabelle proof assistant server
Latest version:
1.1.1
Required dependencies:
pydantic
Optional dependencies:
coverage
|
furo
|
jedi-language-server
|
pre-commit
|
pydoclint
|
pyroma
|
pytest
|
rassumfrassum
|
ruff
|
sphinx-autodoc-typehints
|
tbump
|
toml
|
ty
Downloads last day:
25
Downloads last week:
239
Downloads last month:
419