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 [email protected]<mailto:[email protected]>
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
