isabelle-client (pypi): A client to Isabelle proof assistant server
Keywords: isabelle|tcp-client