Manage | Anaconda.org

If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

conda-forge / packages / isabelle-client

0

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

copied from cf-post-staging / isabelle-client

Label	Latest Version
main	1.0.1