[isabelle-dev] Python Bindings API for Isabbele

Miranda, Brando miranda9 at illinois.edu
Sat May 9 00:56:46 CEST 2020

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>

More information about the isabelle-dev mailing list