isabelle-client (conda): isabelle-client is a TCP client for Isabelle server. For more information about the server see part 4 of the Isabelle system manual: https://isabelle.in.tum.de/dist/Isabelle2021-1/doc/system.pdf
Keywords: isabelle|tcp-client