CMD + K
conda-forge/isabelle-client

isabelle-client

Community

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

Copied fromcf-post-staging / isabelle-client

1 item