DeepAI AI Chat
Log In Sign Up

Python client for Isabelle server

by   Boris Shminke, et al.
Université Côte d'Azur

We contribute a Python client for the Isabelle server, which gives researchers and students using Python as their primary programming language an opportunity to communicate with the Isabelle server through TCP directly from a Python script. Such an approach helps avoid the complexities of integrating the existing Python script with languages used for Isabelle development (ML and Scala). We also describe new features that appeared since the announcement of the first version of the client a year ago. Finally, we give examples of the client's applications in research and education and discuss known limitations and possible directions for future development.


Catalogs of C and Python Antipatterns by CS1 Students

Understanding students' programming misconceptions is critical. Doing so...

Mining counterexamples for wide-signature algebras with an Isabelle server

We propose an approach for searching for counterexamples of statements a...

Improving a High Productivity Data Analytics Chapel Framework

Most state of the art exploratory data analysis frameworks fall into one...

Galvanalyser: A Battery Test Database

Performance and lifetime testing of batteries requires considerable effo...

iHorology: Lowering the Barrier to Microsecond-level Internet Time

High precision, synchronized clocks are essential to a growing number of...

Comparative review of selected Internet communication protocols

With a large variety of communication methods and protocols, many softwa...

Towards new solutions for scientific computing: the case of Julia

This year marks the consolidation of Julia (, a p...