[isabelle-dev] Python Bindings API for Isabbele

[Miranda, Brando]

Hi Isabelle devs,

I was wondering if there were python bindings for Isabelle/isar?

If not how hard would it be to make some?

-----
Brando Miranda
PhD Student
Computer Science at University of Illinois at Urbana-Champaign (UIUC)
Alfred P. Sloan Scholar | SURGE Fellow | Saburo Muroga Endowed Fellow
miranda9 at illinois.edu<mailto:miranda9 at illinois.edu>





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200508/63e59dcf/attachment.html>