[isabelle-dev] Python Bindings API for Isabbele
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?
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...
More information about the isabelle-dev