Wheelodex » Projects » isabelle-client

isabelle-client

View on PyPI — Reverse Dependencies (1)

0.5.2 isabelle_client-0.5.2-py3-none-any.whl

Wheel Details

Project: isabelle-client
Version: 0.5.2
Filename: isabelle_client-0.5.2-py3-none-any.whl
Download: [link]
Size: 26044
MD5: f7b060cd32668fecc10ed6a23f8e3014
SHA256: 10b90bd8563a6b8bad8194b15ff84afa10b796ce10de0262bda63f3adcaaf2fd
Uploaded: 2024-12-20 21:58:24 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: isabelle-client
Version: 0.5.2
Summary: A client to Isabelle proof assistant server
Author: Boris Shminke
Author-Email: boris[at]shminke.com
Home-Page: https://github.com/inpefess/isabelle-client
Project-Url: Repository, https://github.com/inpefess/isabelle-client
License: Apache-2.0
Keywords: TCP client,Isabelle proof assistant,interactive theorem prover
Classifier: Development Status :: 4 - Beta
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Natural Language :: English
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.9
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Typing :: Typed
Requires-Python: >=3.9.1,<3.13
Description-Content-Type: text/x-rst
[Description omitted; length: 4770 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.9.1
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
isabelle_client/__init__.py sha256=X7qKnSfgBfmRF_WwfJI5XhZgy2a8EQkKv_QAL1tAxEQ 897
isabelle_client/conftest.py sha256=KLKtIrSyZ7ENDkLgJyBNjDgxm20tGtwz06ZbCY1oMI4 1864
isabelle_client/isabelle__client.py sha256=yKKP1xLVZHX_xcL1pYtegTsYbXdiuayYXFmmAW_p3Os 12407
isabelle_client/isabelle_connector.py sha256=299B8TdHi4mi0x5NpYrc7uz6DMoXj9RGp8Ps2IXd6ng 4873
isabelle_client/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
isabelle_client/resources/Cygwin-Isabelle.bat sha256=PQnONfdvPYoVa1tDXUl91ul3w5MNfT5GuvI3j7s_DAI 295
isabelle_client/resources/example.txt sha256=lKuiwkIewqpsHMdLDgLpE0ls8PUIkiv6jlvcfZfnzek 1247
isabelle_client/resources/isabelle sha256=kHvHznGGFUrIwuXSvhLCcICnj75UlYs-qwaTBv3taok 79
isabelle_client/resources/isabelle-responses/cancel sha256=WGy6eN0M9LjvjweCAbhfSodbwcQZ3woBABgQ2y9oyEE 4
isabelle_client/resources/isabelle-responses/help sha256=W-PbZDw0T7NE2APBsGATg21Ldz-fcff6j67-eXV4iEc 123
isabelle_client/resources/isabelle-responses/purge_theories sha256=TD84mqDZ8UgXXmMbnq3BbXMMvNzHS0kn919K1NR79EQ 90
isabelle_client/resources/isabelle-responses/session_build sha256=z12A4hOWuRQjbGl_1hOBSMTbfupUWCurC3DqFZO3Q8Q 864
isabelle_client/resources/isabelle-responses/session_start sha256=ibtsC4cT8C-h11kLNHaeSraRjRJ5WTGc2WuWDRwpJVg 337
isabelle_client/resources/isabelle-responses/session_stop sha256=qT5Owwcx7zQDi2k8jXU35bju6MzJQj5fs-SeYAZL9-w 135
isabelle_client/resources/isabelle-responses/shutdown sha256=WGy6eN0M9LjvjweCAbhfSodbwcQZ3woBABgQ2y9oyEE 4
isabelle_client/resources/isabelle-responses/unknown sha256=clazxh6uh9M-WWvVpaueFt0a2AQT-NcQH_-1Wjq8C0g 30
isabelle_client/resources/isabelle-responses/use_theories sha256=wvVaoXVbNu_Nc-lMV9GQyTr-VzqO_N-ghl_eSIvIj4Y 699
isabelle_client/resources/isabelle-responses/use_theories.Fail sha256=dNkYsXnJaYyddOmk2syZMui7alJQDGGd7zZgevhGORg 1040
isabelle_client/resources/isabelle-responses/use_theories.Sledgehammer sha256=R-IUnjuGGnNYAdYhcxqEDrDEQjBlBGT-MAF8smV89-s 2909
isabelle_client/sledgehammer_connector.py sha256=WmNSQ10ohVztmmFMMuPljHTOT9fw3H5NP4XBu_uCEZI 2536
isabelle_client/socket_communication.py sha256=VSMoTgoR4OpgvyIrRhcE89ZzFiIDidfVd3_nR1WdK08 5425
isabelle_client/utils.py sha256=__7qO-ZUPDfeZRBAJkMHV_Lpupo4rZHwUaCgCdb2kro 7199
isabelle_client-0.5.2.dist-info/LICENSE sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA 11358
isabelle_client-0.5.2.dist-info/METADATA sha256=YQcPWuczqXAG-Xth7rV5vowX5IeK2Cak3SS6i0fBv7M 5853
isabelle_client-0.5.2.dist-info/WHEEL sha256=Nq82e9rUAnEjt98J6MlVmMCZb-t9cYE2Ir1kpBmnWfs 88
isabelle_client-0.5.2.dist-info/RECORD — —