Is there a way to communicate with the Isabelle theorem prover through python?

Viewed 117

I want to build a python API for Isabelle. I was wondering if it's possible? Is it possible to send proofs, tactics, command and all that jedit would be doing through Python and type check the proofs?

0 Answers
Related