文件名称：比萨
文件大小：536KB
文件格式：ZIP
更新时间：2024-03-03 18:34:19
Scala
比萨 一个Scala-server-Python-client应用程序，逐行运行Isabelle证明过程。 要求 sbt> = 1.3.0 Java> = 11 Scala> = 2.13 Python包 grpc 它可能适用于较低版本，但尚未经过测试。 用法 启动服务器 $ sbt "runMain pisa.server.PisaServer" 在另一个终端，做 $ cd src/main/python $ python PisaClient.py 然后，按照说明输入isabelle可执行文件的路径，并像在Isabelle官方发行版中的jEdit中一样逐行编写证明。 例 默认情况下，当您运行 $ python PisaClient.py 尝试“ A-> A”的证明。 按照说明进行操作，您可能会遇到以下控制台输出： $ python PisaClient.py proof (p