论文标题
iSabelle服务器的Python客户端
Python client for Isabelle server
论文作者
论文摘要
我们为Isabelle服务器贡献了一个Python客户端，该客户端为研究人员和学生使用Python作为主要编程语言，这是一个机会，可以直接从Python脚本通过TCP与Isabelle Server通信。这种方法有助于避免将现有的Python脚本与用于Isabelle开发（ML和Scala）的语言集成的复杂性。我们还描述了自一年前宣布客户的第一个版本以来出现的新功能。最后，我们举例说明了客户在研究和教育中的应用程序，并讨论已知的局限性以及未来发展的可能指示。
We contribute a Python client for the Isabelle server, which gives researchers and students using Python as their primary programming language an opportunity to communicate with the Isabelle server through TCP directly from a Python script. Such an approach helps avoid the complexities of integrating the existing Python script with languages used for Isabelle development (ML and Scala). We also describe new features that appeared since the announcement of the first version of the client a year ago. Finally, we give examples of the client's applications in research and education and discuss known limitations and possible directions for future development.
