About Anaconda Help Download Anaconda

conda-forge / packages / isabelle-client

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

copied from cf-post-staging / isabelle-client
Label Latest Version
main 0.5.6

© 2025 Anaconda, Inc. All Rights Reserved. (v4.1.0) Legal | Privacy Policy