[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"package:cask:isabelle:en":3,"releases:stats:cask:isabelle:en":440,"dependencies:cask:isabelle:en:golden_gate":441},{"artifacts":4,"autoUpdates":26,"categories":27,"conflictsWith":33,"dependsOn":36,"deprecated":26,"descriptionEn":44,"disabled":26,"displayName":45,"downloadSha256":46,"downloadSize":47,"downloadUrl":48,"editorChoice":26,"formulaeUrl":49,"homepage":50,"installCommand":51,"installs":52,"installs30d":53,"isFont":26,"isLibrary":26,"kegOnly":26,"kind":56,"latestRelease":57,"machineTranslated":26,"name":45,"names":65,"platforms":66,"primaryCategory":424,"rank30d":425,"releaseCount":426,"releaseStats":427,"screenshots":431,"sourceLocale":432,"sourceUrl":433,"summary":44,"summaryTranslation":434,"supports":435,"tags":437,"tap":438,"token":7,"version":64,"versionChangedAt":439},{"apps":5,"binaries":6,"entries":8,"pkgs":25},[],[7],"isabelle",[9,18],{"declaration":10,"phase":15,"sources":16,"target":14,"type":17},{"artifact":11,"target":14},[12,13],"Isabelle2025-2.app",{"target":14},"$APPDIR\u002FIsabelle2025-2.app","install",[12],"artifact",{"declaration":19,"phase":15,"sources":23,"target":22,"type":24},{"binary":20,"target":22},[21],"$APPDIR\u002FIsabelle2025-2.app\u002Fbin\u002Fisabelle","$HOMEBREW_PREFIX\u002Fbin\u002Fisabelle",[21],"binary",[],false,[28],{"icon":29,"machineTranslated":26,"name":30,"slug":31,"sourceLocale":32},"lucide:graduation-cap","Education & Science","education","zh-CN",{"casks":34,"formulae":35},[],[],{"arch":37,"casks":40,"formulae":41,"requirements":42},[38,39],"arm64","x86_64",[],[],{"macos":43},{},"Generic proof assistant","Isabelle","8f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e",1730395791,"https:\u002F\u002Fwww.cl.cam.ac.uk\u002Fresearch\u002Fhvg\u002FIsabelle\u002Fdist\u002FIsabelle2025-2_macos.tar.gz","https:\u002F\u002Fformulae.brew.sh\u002Fcask\u002Fisabelle","https:\u002F\u002Fwww.cl.cam.ac.uk\u002Fresearch\u002Fhvg\u002FIsabelle\u002F","brew install --cask isabelle",{"d30":53,"d365":54,"d90":55},21,253,73,"cask",{"brewCommittedAt":58,"hasNotes":26,"isLatest":59,"isPrerelease":26,"sections":60,"source":61,"translation":62,"version":64},"2026-01-20T01:22:30Z",true,[],"homebrew",{"status":63},"none","2025-2",[45,7],[67,93,118,144,169,195,220,246,271,297,322,348,373,399],{"arch":39,"artifacts":68,"conflictsWith":82,"dependsOn":85,"downloadSha256":46,"downloadUrl":48,"macos":91,"requiresRosetta":26,"tag":92,"version":64},{"apps":69,"binaries":70,"entries":71,"pkgs":81},[],[7],[72,77],{"declaration":73,"phase":15,"sources":76,"target":14,"type":17},{"artifact":74,"target":14},[12,75],{"target":14},[12],{"declaration":78,"phase":15,"sources":80,"target":22,"type":24},{"binary":79,"target":22},[21],[21],[],{"casks":83,"formulae":84},[],[],{"arch":86,"casks":87,"formulae":88,"requirements":89},[39],[],[],{"macos":90},{},"27","golden_gate",{"arch":38,"artifacts":94,"conflictsWith":108,"dependsOn":111,"downloadSha256":46,"downloadUrl":48,"macos":91,"requiresRosetta":26,"tag":117,"version":64},{"apps":95,"binaries":96,"entries":97,"pkgs":107},[],[7],[98,103],{"declaration":99,"phase":15,"sources":102,"target":14,"type":17},{"artifact":100,"target":14},[12,101],{"target":14},[12],{"declaration":104,"phase":15,"sources":106,"target":22,"type":24},{"binary":105,"target":22},[21],[21],[],{"casks":109,"formulae":110},[],[],{"arch":112,"casks":113,"formulae":114,"requirements":115},[38],[],[],{"macos":116},{},"arm64_golden_gate",{"arch":39,"artifacts":119,"conflictsWith":133,"dependsOn":136,"downloadSha256":46,"downloadUrl":48,"macos":142,"requiresRosetta":26,"tag":143,"version":64},{"apps":120,"binaries":121,"entries":122,"pkgs":132},[],[7],[123,128],{"declaration":124,"phase":15,"sources":127,"target":14,"type":17},{"artifact":125,"target":14},[12,126],{"target":14},[12],{"declaration":129,"phase":15,"sources":131,"target":22,"type":24},{"binary":130,"target":22},[21],[21],[],{"casks":134,"formulae":135},[],[],{"arch":137,"casks":138,"formulae":139,"requirements":140},[39],[],[],{"macos":141},{},"26","tahoe",{"arch":38,"artifacts":145,"conflictsWith":159,"dependsOn":162,"downloadSha256":46,"downloadUrl":48,"macos":142,"requiresRosetta":26,"tag":168,"version":64},{"apps":146,"binaries":147,"entries":148,"pkgs":158},[],[7],[149,154],{"declaration":150,"phase":15,"sources":153,"target":14,"type":17},{"artifact":151,"target":14},[12,152],{"target":14},[12],{"declaration":155,"phase":15,"sources":157,"target":22,"type":24},{"binary":156,"target":22},[21],[21],[],{"casks":160,"formulae":161},[],[],{"arch":163,"casks":164,"formulae":165,"requirements":166},[38],[],[],{"macos":167},{},"arm64_tahoe",{"arch":39,"artifacts":170,"conflictsWith":184,"dependsOn":187,"downloadSha256":46,"downloadUrl":48,"macos":193,"requiresRosetta":26,"tag":194,"version":64},{"apps":171,"binaries":172,"entries":173,"pkgs":183},[],[7],[174,179],{"declaration":175,"phase":15,"sources":178,"target":14,"type":17},{"artifact":176,"target":14},[12,177],{"target":14},[12],{"declaration":180,"phase":15,"sources":182,"target":22,"type":24},{"binary":181,"target":22},[21],[21],[],{"casks":185,"formulae":186},[],[],{"arch":188,"casks":189,"formulae":190,"requirements":191},[39],[],[],{"macos":192},{},"15","sequoia",{"arch":38,"artifacts":196,"conflictsWith":210,"dependsOn":213,"downloadSha256":46,"downloadUrl":48,"macos":193,"requiresRosetta":26,"tag":219,"version":64},{"apps":197,"binaries":198,"entries":199,"pkgs":209},[],[7],[200,205],{"declaration":201,"phase":15,"sources":204,"target":14,"type":17},{"artifact":202,"target":14},[12,203],{"target":14},[12],{"declaration":206,"phase":15,"sources":208,"target":22,"type":24},{"binary":207,"target":22},[21],[21],[],{"casks":211,"formulae":212},[],[],{"arch":214,"casks":215,"formulae":216,"requirements":217},[38],[],[],{"macos":218},{},"arm64_sequoia",{"arch":39,"artifacts":221,"conflictsWith":235,"dependsOn":238,"downloadSha256":46,"downloadUrl":48,"macos":244,"requiresRosetta":26,"tag":245,"version":64},{"apps":222,"binaries":223,"entries":224,"pkgs":234},[],[7],[225,230],{"declaration":226,"phase":15,"sources":229,"target":14,"type":17},{"artifact":227,"target":14},[12,228],{"target":14},[12],{"declaration":231,"phase":15,"sources":233,"target":22,"type":24},{"binary":232,"target":22},[21],[21],[],{"casks":236,"formulae":237},[],[],{"arch":239,"casks":240,"formulae":241,"requirements":242},[39],[],[],{"macos":243},{},"14","sonoma",{"arch":38,"artifacts":247,"conflictsWith":261,"dependsOn":264,"downloadSha256":46,"downloadUrl":48,"macos":244,"requiresRosetta":26,"tag":270,"version":64},{"apps":248,"binaries":249,"entries":250,"pkgs":260},[],[7],[251,256],{"declaration":252,"phase":15,"sources":255,"target":14,"type":17},{"artifact":253,"target":14},[12,254],{"target":14},[12],{"declaration":257,"phase":15,"sources":259,"target":22,"type":24},{"binary":258,"target":22},[21],[21],[],{"casks":262,"formulae":263},[],[],{"arch":265,"casks":266,"formulae":267,"requirements":268},[38],[],[],{"macos":269},{},"arm64_sonoma",{"arch":39,"artifacts":272,"conflictsWith":286,"dependsOn":289,"downloadSha256":46,"downloadUrl":48,"macos":295,"requiresRosetta":26,"tag":296,"version":64},{"apps":273,"binaries":274,"entries":275,"pkgs":285},[],[7],[276,281],{"declaration":277,"phase":15,"sources":280,"target":14,"type":17},{"artifact":278,"target":14},[12,279],{"target":14},[12],{"declaration":282,"phase":15,"sources":284,"target":22,"type":24},{"binary":283,"target":22},[21],[21],[],{"casks":287,"formulae":288},[],[],{"arch":290,"casks":291,"formulae":292,"requirements":293},[39],[],[],{"macos":294},{},"13","ventura",{"arch":38,"artifacts":298,"conflictsWith":312,"dependsOn":315,"downloadSha256":46,"downloadUrl":48,"macos":295,"requiresRosetta":26,"tag":321,"version":64},{"apps":299,"binaries":300,"entries":301,"pkgs":311},[],[7],[302,307],{"declaration":303,"phase":15,"sources":306,"target":14,"type":17},{"artifact":304,"target":14},[12,305],{"target":14},[12],{"declaration":308,"phase":15,"sources":310,"target":22,"type":24},{"binary":309,"target":22},[21],[21],[],{"casks":313,"formulae":314},[],[],{"arch":316,"casks":317,"formulae":318,"requirements":319},[38],[],[],{"macos":320},{},"arm64_ventura",{"arch":39,"artifacts":323,"conflictsWith":337,"dependsOn":340,"downloadSha256":46,"downloadUrl":48,"macos":346,"requiresRosetta":26,"tag":347,"version":64},{"apps":324,"binaries":325,"entries":326,"pkgs":336},[],[7],[327,332],{"declaration":328,"phase":15,"sources":331,"target":14,"type":17},{"artifact":329,"target":14},[12,330],{"target":14},[12],{"declaration":333,"phase":15,"sources":335,"target":22,"type":24},{"binary":334,"target":22},[21],[21],[],{"casks":338,"formulae":339},[],[],{"arch":341,"casks":342,"formulae":343,"requirements":344},[39],[],[],{"macos":345},{},"12","monterey",{"arch":38,"artifacts":349,"conflictsWith":363,"dependsOn":366,"downloadSha256":46,"downloadUrl":48,"macos":346,"requiresRosetta":26,"tag":372,"version":64},{"apps":350,"binaries":351,"entries":352,"pkgs":362},[],[7],[353,358],{"declaration":354,"phase":15,"sources":357,"target":14,"type":17},{"artifact":355,"target":14},[12,356],{"target":14},[12],{"declaration":359,"phase":15,"sources":361,"target":22,"type":24},{"binary":360,"target":22},[21],[21],[],{"casks":364,"formulae":365},[],[],{"arch":367,"casks":368,"formulae":369,"requirements":370},[38],[],[],{"macos":371},{},"arm64_monterey",{"arch":39,"artifacts":374,"conflictsWith":388,"dependsOn":391,"downloadSha256":46,"downloadUrl":48,"macos":397,"requiresRosetta":26,"tag":398,"version":64},{"apps":375,"binaries":376,"entries":377,"pkgs":387},[],[7],[378,383],{"declaration":379,"phase":15,"sources":382,"target":14,"type":17},{"artifact":380,"target":14},[12,381],{"target":14},[12],{"declaration":384,"phase":15,"sources":386,"target":22,"type":24},{"binary":385,"target":22},[21],[21],[],{"casks":389,"formulae":390},[],[],{"arch":392,"casks":393,"formulae":394,"requirements":395},[39],[],[],{"macos":396},{},"11","big_sur",{"arch":38,"artifacts":400,"conflictsWith":414,"dependsOn":417,"downloadSha256":46,"downloadUrl":48,"macos":397,"requiresRosetta":26,"tag":423,"version":64},{"apps":401,"binaries":402,"entries":403,"pkgs":413},[],[7],[404,409],{"declaration":405,"phase":15,"sources":408,"target":14,"type":17},{"artifact":406,"target":14},[12,407],{"target":14},[12],{"declaration":410,"phase":15,"sources":412,"target":22,"type":24},{"binary":411,"target":22},[21],[21],[],{"casks":415,"formulae":416},[],[],{"arch":418,"casks":419,"formulae":420,"requirements":421},[38],[],[],{"macos":422},{},"arm64_big_sur",{"icon":29,"machineTranslated":26,"name":30,"slug":31,"sourceLocale":32},1638,5,{"brewLag":428,"cadence":430,"count30d":429},{"compared":429,"earlierCount":429},0,"irregular",[],"en-US","https:\u002F\u002Fgithub.com\u002Fhomebrew\u002Fhomebrew-cask\u002Fblob\u002FHEAD\u002FCasks\u002Fi\u002Fisabelle.rb",{"status":63},{"arm64":59,"requiresRosetta":26,"status":436,"x86_64":59},"known",[],"homebrew\u002Fcask","2026-10-07T09:38:37.849603Z",null,{"conflictsWith":442,"dependencies":445,"dependents":446,"dependsOn":448,"platforms":454},{"casks":443,"formulae":444},[],[],[],{"count":429,"top":447},[],{"arch":449,"casks":450,"formulae":451,"requirements":452},[39],[],[],{"macos":453},{},[455,479,503,527,551,575,599,623,647,671,695,719,743,767],{"arch":39,"artifacts":456,"conflictsWith":470,"dependsOn":473,"downloadSha256":46,"downloadUrl":48,"macos":91,"requiresRosetta":26,"tag":92,"version":64},{"apps":457,"binaries":458,"entries":459,"pkgs":469},[],[7],[460,465],{"declaration":461,"phase":15,"sources":464,"target":14,"type":17},{"artifact":462,"target":14},[12,463],{"target":14},[12],{"declaration":466,"phase":15,"sources":468,"target":22,"type":24},{"binary":467,"target":22},[21],[21],[],{"casks":471,"formulae":472},[],[],{"arch":474,"casks":475,"formulae":476,"requirements":477},[39],[],[],{"macos":478},{},{"arch":38,"artifacts":480,"conflictsWith":494,"dependsOn":497,"downloadSha256":46,"downloadUrl":48,"macos":91,"requiresRosetta":26,"tag":117,"version":64},{"apps":481,"binaries":482,"entries":483,"pkgs":493},[],[7],[484,489],{"declaration":485,"phase":15,"sources":488,"target":14,"type":17},{"artifact":486,"target":14},[12,487],{"target":14},[12],{"declaration":490,"phase":15,"sources":492,"target":22,"type":24},{"binary":491,"target":22},[21],[21],[],{"casks":495,"formulae":496},[],[],{"arch":498,"casks":499,"formulae":500,"requirements":501},[38],[],[],{"macos":502},{},{"arch":39,"artifacts":504,"conflictsWith":518,"dependsOn":521,"downloadSha256":46,"downloadUrl":48,"macos":142,"requiresRosetta":26,"tag":143,"version":64},{"apps":505,"binaries":506,"entries":507,"pkgs":517},[],[7],[508,513],{"declaration":509,"phase":15,"sources":512,"target":14,"type":17},{"artifact":510,"target":14},[12,511],{"target":14},[12],{"declaration":514,"phase":15,"sources":516,"target":22,"type":24},{"binary":515,"target":22},[21],[21],[],{"casks":519,"formulae":520},[],[],{"arch":522,"casks":523,"formulae":524,"requirements":525},[39],[],[],{"macos":526},{},{"arch":38,"artifacts":528,"conflictsWith":542,"dependsOn":545,"downloadSha256":46,"downloadUrl":48,"macos":142,"requiresRosetta":26,"tag":168,"version":64},{"apps":529,"binaries":530,"entries":531,"pkgs":541},[],[7],[532,537],{"declaration":533,"phase":15,"sources":536,"target":14,"type":17},{"artifact":534,"target":14},[12,535],{"target":14},[12],{"declaration":538,"phase":15,"sources":540,"target":22,"type":24},{"binary":539,"target":22},[21],[21],[],{"casks":543,"formulae":544},[],[],{"arch":546,"casks":547,"formulae":548,"requirements":549},[38],[],[],{"macos":550},{},{"arch":39,"artifacts":552,"conflictsWith":566,"dependsOn":569,"downloadSha256":46,"downloadUrl":48,"macos":193,"requiresRosetta":26,"tag":194,"version":64},{"apps":553,"binaries":554,"entries":555,"pkgs":565},[],[7],[556,561],{"declaration":557,"phase":15,"sources":560,"target":14,"type":17},{"artifact":558,"target":14},[12,559],{"target":14},[12],{"declaration":562,"phase":15,"sources":564,"target":22,"type":24},{"binary":563,"target":22},[21],[21],[],{"casks":567,"formulae":568},[],[],{"arch":570,"casks":571,"formulae":572,"requirements":573},[39],[],[],{"macos":574},{},{"arch":38,"artifacts":576,"conflictsWith":590,"dependsOn":593,"downloadSha256":46,"downloadUrl":48,"macos":193,"requiresRosetta":26,"tag":219,"version":64},{"apps":577,"binaries":578,"entries":579,"pkgs":589},[],[7],[580,585],{"declaration":581,"phase":15,"sources":584,"target":14,"type":17},{"artifact":582,"target":14},[12,583],{"target":14},[12],{"declaration":586,"phase":15,"sources":588,"target":22,"type":24},{"binary":587,"target":22},[21],[21],[],{"casks":591,"formulae":592},[],[],{"arch":594,"casks":595,"formulae":596,"requirements":597},[38],[],[],{"macos":598},{},{"arch":39,"artifacts":600,"conflictsWith":614,"dependsOn":617,"downloadSha256":46,"downloadUrl":48,"macos":244,"requiresRosetta":26,"tag":245,"version":64},{"apps":601,"binaries":602,"entries":603,"pkgs":613},[],[7],[604,609],{"declaration":605,"phase":15,"sources":608,"target":14,"type":17},{"artifact":606,"target":14},[12,607],{"target":14},[12],{"declaration":610,"phase":15,"sources":612,"target":22,"type":24},{"binary":611,"target":22},[21],[21],[],{"casks":615,"formulae":616},[],[],{"arch":618,"casks":619,"formulae":620,"requirements":621},[39],[],[],{"macos":622},{},{"arch":38,"artifacts":624,"conflictsWith":638,"dependsOn":641,"downloadSha256":46,"downloadUrl":48,"macos":244,"requiresRosetta":26,"tag":270,"version":64},{"apps":625,"binaries":626,"entries":627,"pkgs":637},[],[7],[628,633],{"declaration":629,"phase":15,"sources":632,"target":14,"type":17},{"artifact":630,"target":14},[12,631],{"target":14},[12],{"declaration":634,"phase":15,"sources":636,"target":22,"type":24},{"binary":635,"target":22},[21],[21],[],{"casks":639,"formulae":640},[],[],{"arch":642,"casks":643,"formulae":644,"requirements":645},[38],[],[],{"macos":646},{},{"arch":39,"artifacts":648,"conflictsWith":662,"dependsOn":665,"downloadSha256":46,"downloadUrl":48,"macos":295,"requiresRosetta":26,"tag":296,"version":64},{"apps":649,"binaries":650,"entries":651,"pkgs":661},[],[7],[652,657],{"declaration":653,"phase":15,"sources":656,"target":14,"type":17},{"artifact":654,"target":14},[12,655],{"target":14},[12],{"declaration":658,"phase":15,"sources":660,"target":22,"type":24},{"binary":659,"target":22},[21],[21],[],{"casks":663,"formulae":664},[],[],{"arch":666,"casks":667,"formulae":668,"requirements":669},[39],[],[],{"macos":670},{},{"arch":38,"artifacts":672,"conflictsWith":686,"dependsOn":689,"downloadSha256":46,"downloadUrl":48,"macos":295,"requiresRosetta":26,"tag":321,"version":64},{"apps":673,"binaries":674,"entries":675,"pkgs":685},[],[7],[676,681],{"declaration":677,"phase":15,"sources":680,"target":14,"type":17},{"artifact":678,"target":14},[12,679],{"target":14},[12],{"declaration":682,"phase":15,"sources":684,"target":22,"type":24},{"binary":683,"target":22},[21],[21],[],{"casks":687,"formulae":688},[],[],{"arch":690,"casks":691,"formulae":692,"requirements":693},[38],[],[],{"macos":694},{},{"arch":39,"artifacts":696,"conflictsWith":710,"dependsOn":713,"downloadSha256":46,"downloadUrl":48,"macos":346,"requiresRosetta":26,"tag":347,"version":64},{"apps":697,"binaries":698,"entries":699,"pkgs":709},[],[7],[700,705],{"declaration":701,"phase":15,"sources":704,"target":14,"type":17},{"artifact":702,"target":14},[12,703],{"target":14},[12],{"declaration":706,"phase":15,"sources":708,"target":22,"type":24},{"binary":707,"target":22},[21],[21],[],{"casks":711,"formulae":712},[],[],{"arch":714,"casks":715,"formulae":716,"requirements":717},[39],[],[],{"macos":718},{},{"arch":38,"artifacts":720,"conflictsWith":734,"dependsOn":737,"downloadSha256":46,"downloadUrl":48,"macos":346,"requiresRosetta":26,"tag":372,"version":64},{"apps":721,"binaries":722,"entries":723,"pkgs":733},[],[7],[724,729],{"declaration":725,"phase":15,"sources":728,"target":14,"type":17},{"artifact":726,"target":14},[12,727],{"target":14},[12],{"declaration":730,"phase":15,"sources":732,"target":22,"type":24},{"binary":731,"target":22},[21],[21],[],{"casks":735,"formulae":736},[],[],{"arch":738,"casks":739,"formulae":740,"requirements":741},[38],[],[],{"macos":742},{},{"arch":39,"artifacts":744,"conflictsWith":758,"dependsOn":761,"downloadSha256":46,"downloadUrl":48,"macos":397,"requiresRosetta":26,"tag":398,"version":64},{"apps":745,"binaries":746,"entries":747,"pkgs":757},[],[7],[748,753],{"declaration":749,"phase":15,"sources":752,"target":14,"type":17},{"artifact":750,"target":14},[12,751],{"target":14},[12],{"declaration":754,"phase":15,"sources":756,"target":22,"type":24},{"binary":755,"target":22},[21],[21],[],{"casks":759,"formulae":760},[],[],{"arch":762,"casks":763,"formulae":764,"requirements":765},[39],[],[],{"macos":766},{},{"arch":38,"artifacts":768,"conflictsWith":782,"dependsOn":785,"downloadSha256":46,"downloadUrl":48,"macos":397,"requiresRosetta":26,"tag":423,"version":64},{"apps":769,"binaries":770,"entries":771,"pkgs":781},[],[7],[772,777],{"declaration":773,"phase":15,"sources":776,"target":14,"type":17},{"artifact":774,"target":14},[12,775],{"target":14},[12],{"declaration":778,"phase":15,"sources":780,"target":22,"type":24},{"binary":779,"target":22},[21],[21],[],{"casks":783,"formulae":784},[],[],{"arch":786,"casks":787,"formulae":788,"requirements":789},[38],[],[],{"macos":790},{}]