Isabelle

{
  "alternatives": [],
  "artifacts": [
    {
      "artifact": [
        "Isabelle2025-2.app",
        {
          "target": "$APPDIR/Isabelle2025-2.app"
        }
      ],
      "target": "$APPDIR/Isabelle2025-2.app"
    },
    {
      "binary": [
        "$APPDIR/Isabelle2025-2.app/bin/isabelle"
      ],
      "target": "$HOMEBREW_PREFIX/bin/isabelle"
    }
  ],
  "auto_updates": null,
  "categories": [],
  "deprecated": 0,
  "deprecation_reason": null,
  "desc": "Generic proof assistant",
  "disable_reason": null,
  "disabled": 0,
  "display_name": "Isabelle",
  "enrichment_fetched_at": "2026-06-20T22:45:16+00:00",
  "first_seen": "2026-06-20T00:47:34+00:00",
  "full_token": "isabelle",
  "github_default_branch": null,
  "github_last_commit_at": null,
  "github_readme_excerpt": null,
  "github_repo": null,
  "github_stars": null,
  "github_topics": [],
  "homepage": "https://www.cl.cam.ac.uk/research/hvg/Isabelle/",
  "homepage_og_description": null,
  "homepage_og_image": null,
  "homepage_title": "Isabelle",
  "installs_30d": 33,
  "installs_365d": 203,
  "installs_90d": 75,
  "last_seen": "2026-06-20T00:47:34+00:00",
  "llm_generated_at": null,
  "llm_model": null,
  "names": [
    "Isabelle"
  ],
  "one_liner": null,
  "rank_30d": 2440,
  "rank_365d": 3292,
  "rank_90d": 2824,
  "raw_hash": "4d12bbf96bf498ff",
  "ruby_source_path": "Casks/i/isabelle.rb",
  "tap": "homebrew/cask",
  "token": "isabelle",
  "version": "2025-2",
  "why_use_this": null
}