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?
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?