[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"package:cask:isabelle:en":3,"releases:stats:cask:isabelle:en":440,"releases:cask:isabelle:1:false:false:en":441,"releases-count:cask:isabelle:true:en":470},{"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,{"current":442,"records":443,"size":467,"stats":468,"total":426},1,[444,447,452,457,462],{"brewCommittedAt":58,"hasNotes":26,"isLatest":59,"isPrerelease":26,"sections":445,"source":61,"translation":446,"version":64},[],{"status":63},{"brewCommittedAt":448,"hasNotes":26,"isLatest":26,"isPrerelease":26,"sections":449,"source":61,"translation":450,"version":451},"2025-12-29T17:43:11Z",[],{"status":63},"2025-1",{"brewCommittedAt":453,"hasNotes":26,"isLatest":26,"isPrerelease":26,"sections":454,"source":61,"translation":455,"version":456},"2025-03-14T03:36:30Z",[],{"status":63},"2025",{"brewCommittedAt":458,"hasNotes":26,"isLatest":26,"isPrerelease":26,"sections":459,"source":61,"translation":460,"version":461},"2024-05-23T19:59:43Z",[],{"status":63},"2024",{"brewCommittedAt":463,"hasNotes":26,"isLatest":26,"isPrerelease":26,"sections":464,"source":61,"translation":465,"version":466},"2023-09-11T22:11:01Z",[],{"status":63},"2023",20,{"brewLag":469,"cadence":430,"count30d":429},{"compared":429,"earlierCount":429},{"current":442,"records":471,"size":442,"stats":475,"total":426},[472],{"brewCommittedAt":58,"hasNotes":26,"isLatest":59,"isPrerelease":26,"sections":473,"source":61,"translation":474,"version":64},[],{"status":63},{"brewLag":476,"cadence":430,"count30d":429},{"compared":429,"earlierCount":429}]