About Anaconda Help Download Anaconda

conda-forge / packages / isabelle-client

A client for Isabelle server (https://isabelle.in.tum.de)

copied from cf-staging / isabelle-client
Click on a badge to see how to embed it in your web page
badge
https://anaconda.org/conda-forge/isabelle-client/badges/version.svg
badge
https://anaconda.org/conda-forge/isabelle-client/badges/latest_release_date.svg
badge
https://anaconda.org/conda-forge/isabelle-client/badges/latest_release_relative_date.svg
badge
https://anaconda.org/conda-forge/isabelle-client/badges/platforms.svg
badge
https://anaconda.org/conda-forge/isabelle-client/badges/license.svg
badge
https://anaconda.org/conda-forge/isabelle-client/badges/downloads.svg

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy