search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

[isabelle] Port implmentation to isabelle-client #37

Open wimmers opened 3 years ago

wimmers commented 3 years ago

There is a new framework for interacting with Isabelle/Server with Python: https://github.com/inpefess/isabelle-client. It is arguably cleaner than our implementation, so it would be worthwhile to rebase ours on top of the framework.

Are there any caveats?

wimmers commented 3 years ago

The package is on PyPi https://pypi.org/project/isabelle-client/0.1.0/ and thus can easily be installed via pip.