TY  - RPRT
TI  - Python client for Isabelle server
AU  - Boris Shminke
PY  - 2022
UR  - https://arxiv.org/abs/2212.11173
ID  - 2212.11173
ER  -