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
Label Latest Version
main 0.5.3

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