isabelle-client (cargo): Client to interact with Isabelle servers
Keywords: isabelle