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

Filters

Type: All

• All
• conda

Version: 0.5.1

• All
• 0.5.4
• 0.5.3
• 0.5.2
• 0.5.1
• 0.5.0
• 0.4.9
• 0.4.7
• 0.4.6
• 0.4.5
• 0.4.3
• 0.4.2
• 0.4.1
• 0.3.17
• 0.3.16
• 0.3.15
• 0.3.14
• 0.3.13
• 0.3.12
• 0.3.9
• 0.3.8
• 0.3.7
• 0.3.6
• 0.3.5
• 0.3.4
• 0.3.3
• 0.3.2

Label: All

• All
• Files with no label
• main