conda-forge / packages / isabelle-client

• 0

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

copied from cf-staging / isabelle-client

• Conda
• Files
• Labels
• Badges

Label	Latest Version
main	0.5.3