A client for Isabelle server (https://isabelle.in.tum.de)
https://anaconda.org/conda-forge/isabelle-client/badges/version.svg
https://anaconda.org/conda-forge/isabelle-client/badges/latest_release_date.svg
https://anaconda.org/conda-forge/isabelle-client/badges/latest_release_relative_date.svg
https://anaconda.org/conda-forge/isabelle-client/badges/platforms.svg
https://anaconda.org/conda-forge/isabelle-client/badges/license.svg
https://anaconda.org/conda-forge/isabelle-client/badges/downloads.svg