Isabelle_13-Jul-2025

Downloads

• Source archive
• Linux bundle
• Linux (ARM) bundle
• Windows bundle
• macOS bundle

Repositories

• Isabelle/5e9c9f2c2cd8
• AFP/3f4b681dcbed