PyPI page
Home page
Author:
Qiyuan Xu
Summary:
Isabelle RPC Host: call Python functions from Isabelle/ML
Latest version:
0.4.0
Required dependencies:
lmdb
|
msgpack
|
platformdirs
|
watchdog
|
xxhash
Downloads last day:
0
Downloads last week:
5
Downloads last month:
20
7-day smoothing