[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"package:cask:coq-platform:ja":3,"releases:stats:cask:coq-platform:ja":464,"related:cask:coq-platform:ja":465,"markdown:3:30:hspby0":509},{"artifacts":4,"autoUpdates":28,"categories":29,"conflictsWith":35,"dependsOn":38,"deprecated":28,"descriptionEn":46,"disabled":28,"displayName":47,"downloadSha256":48,"downloadSize":49,"downloadUrl":50,"editorChoice":28,"formulaeUrl":51,"homepage":52,"installCommand":53,"installs":54,"installs30d":55,"isFont":28,"isLibrary":28,"kegOnly":28,"kind":58,"latestRelease":59,"machineTranslated":28,"name":47,"names":67,"platforms":70,"primaryCategory":448,"rank30d":449,"releaseCount":450,"releaseStats":451,"screenshots":455,"sourceLocale":456,"sourceUrl":457,"summary":46,"summaryTranslation":458,"supports":459,"tags":461,"tap":462,"token":69,"version":129,"versionChangedAt":463},{"apps":5,"binaries":7,"entries":8,"pkgs":27},[6],"Coq-Platform~8.20~2025.01.app",[],[9,16],{"declaration":10,"phase":13,"sources":14,"target":12,"type":15},{"app":11,"target":12},[6],"\u002FApplications\u002FCoq-Platform~8.20~2025.01.app","install",[6],"app",{"declaration":17,"phase":24,"sources":25,"type":26},{"zap":18},[19],{"trash":20},[21,22,23],"~\u002F.config\u002Fcoq","~\u002FLibrary\u002FApplication Support\u002Fcoq","~\u002FLibrary\u002FSaved Application State\u002Ffr.inria.coq.coqide.savedState","cleanup",[],"zap",[],false,[30],{"icon":31,"machineTranslated":28,"name":32,"slug":33,"sourceLocale":34},"lucide:graduation-cap","Education & Science","education","zh-CN",{"casks":36,"formulae":37},[],[],{"arch":39,"casks":42,"formulae":43,"requirements":44},[40,41],"arm64","x86_64",[],[],{"macos":45},{},"Formal proof management system","Coq Platform","5bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3",1040564509,"https:\u002F\u002Fgithub.com\u002Frocq-prover\u002Fplatform\u002Freleases\u002Fdownload\u002F2025.01.0\u002Fcoq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg","https:\u002F\u002Fformulae.brew.sh\u002Fcask\u002Fcoq-platform","https:\u002F\u002Frocq-prover.org\u002F","brew install --cask coq-platform",{"d30":55,"d365":56,"d90":57},16,196,39,"cask",{"brewCommittedAt":60,"hasNotes":28,"isLatest":61,"isPrerelease":28,"sections":62,"source":63,"translation":64,"version":66},"2025-03-31T08:23:24Z",true,[],"homebrew",{"status":65},"none","2025.01.0",[47,68,69],"coqide","coq-platform",[71,103,130,157,183,210,236,263,289,316,342,369,395,422],{"arch":41,"artifacts":72,"conflictsWith":89,"dependsOn":92,"downloadSha256":98,"downloadUrl":99,"macos":100,"requiresRosetta":28,"tag":101,"version":102},{"apps":73,"binaries":75,"entries":76,"pkgs":88},[74],"Coq-Platform~8.18~2023.11.app",[],[77,82],{"declaration":78,"phase":13,"sources":81,"target":80,"type":15},{"app":79,"target":80},[74],"\u002FApplications\u002FCoq-Platform~8.18~2023.11.app",[74],{"declaration":83,"phase":24,"sources":87,"type":26},{"zap":84},[85],{"trash":86},[21,22,23],[],[],{"casks":90,"formulae":91},[],[],{"arch":93,"casks":94,"formulae":95,"requirements":96},[41],[],[],{"macos":97},{},"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","https:\u002F\u002Fgithub.com\u002Frocq-prover\u002Fplatform\u002Freleases\u002Fdownload\u002F2023.11.0\u002Fcoq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","27","golden_gate","2023.11.0,8.18.2023.11",{"arch":40,"artifacts":104,"conflictsWith":119,"dependsOn":122,"downloadSha256":48,"downloadUrl":50,"macos":100,"requiresRosetta":28,"tag":128,"version":129},{"apps":105,"binaries":106,"entries":107,"pkgs":118},[6],[],[108,112],{"declaration":109,"phase":13,"sources":111,"target":12,"type":15},{"app":110,"target":12},[6],[6],{"declaration":113,"phase":24,"sources":117,"type":26},{"zap":114},[115],{"trash":116},[21,22,23],[],[],{"casks":120,"formulae":121},[],[],{"arch":123,"casks":124,"formulae":125,"requirements":126},[40],[],[],{"macos":127},{},"arm64_golden_gate","2025.01.0,8.20.2025.01",{"arch":41,"artifacts":131,"conflictsWith":146,"dependsOn":149,"downloadSha256":98,"downloadUrl":99,"macos":155,"requiresRosetta":28,"tag":156,"version":102},{"apps":132,"binaries":133,"entries":134,"pkgs":145},[74],[],[135,139],{"declaration":136,"phase":13,"sources":138,"target":80,"type":15},{"app":137,"target":80},[74],[74],{"declaration":140,"phase":24,"sources":144,"type":26},{"zap":141},[142],{"trash":143},[21,22,23],[],[],{"casks":147,"formulae":148},[],[],{"arch":150,"casks":151,"formulae":152,"requirements":153},[41],[],[],{"macos":154},{},"26","tahoe",{"arch":40,"artifacts":158,"conflictsWith":173,"dependsOn":176,"downloadSha256":48,"downloadUrl":50,"macos":155,"requiresRosetta":28,"tag":182,"version":129},{"apps":159,"binaries":160,"entries":161,"pkgs":172},[6],[],[162,166],{"declaration":163,"phase":13,"sources":165,"target":12,"type":15},{"app":164,"target":12},[6],[6],{"declaration":167,"phase":24,"sources":171,"type":26},{"zap":168},[169],{"trash":170},[21,22,23],[],[],{"casks":174,"formulae":175},[],[],{"arch":177,"casks":178,"formulae":179,"requirements":180},[40],[],[],{"macos":181},{},"arm64_tahoe",{"arch":41,"artifacts":184,"conflictsWith":199,"dependsOn":202,"downloadSha256":98,"downloadUrl":99,"macos":208,"requiresRosetta":28,"tag":209,"version":102},{"apps":185,"binaries":186,"entries":187,"pkgs":198},[74],[],[188,192],{"declaration":189,"phase":13,"sources":191,"target":80,"type":15},{"app":190,"target":80},[74],[74],{"declaration":193,"phase":24,"sources":197,"type":26},{"zap":194},[195],{"trash":196},[21,22,23],[],[],{"casks":200,"formulae":201},[],[],{"arch":203,"casks":204,"formulae":205,"requirements":206},[41],[],[],{"macos":207},{},"15","sequoia",{"arch":40,"artifacts":211,"conflictsWith":226,"dependsOn":229,"downloadSha256":48,"downloadUrl":50,"macos":208,"requiresRosetta":28,"tag":235,"version":129},{"apps":212,"binaries":213,"entries":214,"pkgs":225},[6],[],[215,219],{"declaration":216,"phase":13,"sources":218,"target":12,"type":15},{"app":217,"target":12},[6],[6],{"declaration":220,"phase":24,"sources":224,"type":26},{"zap":221},[222],{"trash":223},[21,22,23],[],[],{"casks":227,"formulae":228},[],[],{"arch":230,"casks":231,"formulae":232,"requirements":233},[40],[],[],{"macos":234},{},"arm64_sequoia",{"arch":41,"artifacts":237,"conflictsWith":252,"dependsOn":255,"downloadSha256":98,"downloadUrl":99,"macos":261,"requiresRosetta":28,"tag":262,"version":102},{"apps":238,"binaries":239,"entries":240,"pkgs":251},[74],[],[241,245],{"declaration":242,"phase":13,"sources":244,"target":80,"type":15},{"app":243,"target":80},[74],[74],{"declaration":246,"phase":24,"sources":250,"type":26},{"zap":247},[248],{"trash":249},[21,22,23],[],[],{"casks":253,"formulae":254},[],[],{"arch":256,"casks":257,"formulae":258,"requirements":259},[41],[],[],{"macos":260},{},"14","sonoma",{"arch":40,"artifacts":264,"conflictsWith":279,"dependsOn":282,"downloadSha256":48,"downloadUrl":50,"macos":261,"requiresRosetta":28,"tag":288,"version":129},{"apps":265,"binaries":266,"entries":267,"pkgs":278},[6],[],[268,272],{"declaration":269,"phase":13,"sources":271,"target":12,"type":15},{"app":270,"target":12},[6],[6],{"declaration":273,"phase":24,"sources":277,"type":26},{"zap":274},[275],{"trash":276},[21,22,23],[],[],{"casks":280,"formulae":281},[],[],{"arch":283,"casks":284,"formulae":285,"requirements":286},[40],[],[],{"macos":287},{},"arm64_sonoma",{"arch":41,"artifacts":290,"conflictsWith":305,"dependsOn":308,"downloadSha256":98,"downloadUrl":99,"macos":314,"requiresRosetta":28,"tag":315,"version":102},{"apps":291,"binaries":292,"entries":293,"pkgs":304},[74],[],[294,298],{"declaration":295,"phase":13,"sources":297,"target":80,"type":15},{"app":296,"target":80},[74],[74],{"declaration":299,"phase":24,"sources":303,"type":26},{"zap":300},[301],{"trash":302},[21,22,23],[],[],{"casks":306,"formulae":307},[],[],{"arch":309,"casks":310,"formulae":311,"requirements":312},[41],[],[],{"macos":313},{},"13","ventura",{"arch":40,"artifacts":317,"conflictsWith":332,"dependsOn":335,"downloadSha256":48,"downloadUrl":50,"macos":314,"requiresRosetta":28,"tag":341,"version":129},{"apps":318,"binaries":319,"entries":320,"pkgs":331},[6],[],[321,325],{"declaration":322,"phase":13,"sources":324,"target":12,"type":15},{"app":323,"target":12},[6],[6],{"declaration":326,"phase":24,"sources":330,"type":26},{"zap":327},[328],{"trash":329},[21,22,23],[],[],{"casks":333,"formulae":334},[],[],{"arch":336,"casks":337,"formulae":338,"requirements":339},[40],[],[],{"macos":340},{},"arm64_ventura",{"arch":41,"artifacts":343,"conflictsWith":358,"dependsOn":361,"downloadSha256":98,"downloadUrl":99,"macos":367,"requiresRosetta":28,"tag":368,"version":102},{"apps":344,"binaries":345,"entries":346,"pkgs":357},[74],[],[347,351],{"declaration":348,"phase":13,"sources":350,"target":80,"type":15},{"app":349,"target":80},[74],[74],{"declaration":352,"phase":24,"sources":356,"type":26},{"zap":353},[354],{"trash":355},[21,22,23],[],[],{"casks":359,"formulae":360},[],[],{"arch":362,"casks":363,"formulae":364,"requirements":365},[41],[],[],{"macos":366},{},"12","monterey",{"arch":40,"artifacts":370,"conflictsWith":385,"dependsOn":388,"downloadSha256":48,"downloadUrl":50,"macos":367,"requiresRosetta":28,"tag":394,"version":129},{"apps":371,"binaries":372,"entries":373,"pkgs":384},[6],[],[374,378],{"declaration":375,"phase":13,"sources":377,"target":12,"type":15},{"app":376,"target":12},[6],[6],{"declaration":379,"phase":24,"sources":383,"type":26},{"zap":380},[381],{"trash":382},[21,22,23],[],[],{"casks":386,"formulae":387},[],[],{"arch":389,"casks":390,"formulae":391,"requirements":392},[40],[],[],{"macos":393},{},"arm64_monterey",{"arch":41,"artifacts":396,"conflictsWith":411,"dependsOn":414,"downloadSha256":98,"downloadUrl":99,"macos":420,"requiresRosetta":28,"tag":421,"version":102},{"apps":397,"binaries":398,"entries":399,"pkgs":410},[74],[],[400,404],{"declaration":401,"phase":13,"sources":403,"target":80,"type":15},{"app":402,"target":80},[74],[74],{"declaration":405,"phase":24,"sources":409,"type":26},{"zap":406},[407],{"trash":408},[21,22,23],[],[],{"casks":412,"formulae":413},[],[],{"arch":415,"casks":416,"formulae":417,"requirements":418},[41],[],[],{"macos":419},{},"11","big_sur",{"arch":40,"artifacts":423,"conflictsWith":438,"dependsOn":441,"downloadSha256":48,"downloadUrl":50,"macos":420,"requiresRosetta":28,"tag":447,"version":129},{"apps":424,"binaries":425,"entries":426,"pkgs":437},[6],[],[427,431],{"declaration":428,"phase":13,"sources":430,"target":12,"type":15},{"app":429,"target":12},[6],[6],{"declaration":432,"phase":24,"sources":436,"type":26},{"zap":433},[434],{"trash":435},[21,22,23],[],[],{"casks":439,"formulae":440},[],[],{"arch":442,"casks":443,"formulae":444,"requirements":445},[40],[],[],{"macos":446},{},"arm64_big_sur",{"icon":31,"machineTranslated":28,"name":32,"slug":33,"sourceLocale":34},1826,1,{"brewLag":452,"cadence":454,"count30d":453},{"compared":453,"earlierCount":453},0,"irregular",[],"en-US","https:\u002F\u002Fgithub.com\u002Fhomebrew\u002Fhomebrew-cask\u002Fblob\u002FHEAD\u002FCasks\u002Fc\u002Fcoq-platform.rb",{"status":65},{"arm64":61,"requiresRosetta":28,"status":460,"x86_64":61},"known",[],"homebrew\u002Fcask","2026-10-07T09:38:27.243348Z",null,[466,474,483,492,500],{"autoUpdates":28,"deprecated":28,"disabled":28,"displayName":467,"editorChoice":28,"installs30d":55,"isFont":28,"isLibrary":28,"kind":58,"machineTranslated":28,"name":467,"primaryCategory":468,"rank30d":469,"sourceLocale":456,"summary":470,"token":471,"version":472,"versionChangedAt":473},"Artisan",{"icon":31,"machineTranslated":28,"name":32,"slug":33,"sourceLocale":34},1823,"Visual scope for coffee roasters","artisan","4.2.0","2026-10-07T09:38:25.801627Z",{"autoUpdates":28,"deprecated":28,"disabled":28,"displayName":475,"editorChoice":28,"installs30d":476,"isFont":28,"isLibrary":28,"kind":58,"machineTranslated":28,"name":475,"primaryCategory":477,"rank30d":478,"sourceLocale":456,"summary":479,"token":480,"version":481,"versionChangedAt":482},"OSCAR",14,{"icon":31,"machineTranslated":28,"name":32,"slug":33,"sourceLocale":34},1951,"CPAP Analysis Reporter","oscar","2.0.1","2026-10-07T09:38:40.131182Z",{"autoUpdates":28,"deprecated":28,"disabled":28,"displayName":484,"editorChoice":28,"installs30d":485,"isFont":28,"isLibrary":28,"kind":58,"machineTranslated":28,"name":484,"primaryCategory":486,"rank30d":487,"sourceLocale":456,"summary":488,"token":489,"version":490,"versionChangedAt":491},"firebird",13,{"icon":31,"machineTranslated":28,"name":32,"slug":33,"sourceLocale":34},1991,"TI Nspire calculator emulator","firebird-emu","1.6","2026-10-07T09:38:28.442235Z",{"autoUpdates":28,"deprecated":28,"disabled":28,"displayName":493,"editorChoice":28,"installs30d":476,"isFont":28,"isLibrary":28,"kind":58,"machineTranslated":28,"name":493,"primaryCategory":494,"rank30d":495,"sourceLocale":456,"summary":496,"token":497,"version":498,"versionChangedAt":499},"FME Form",{"icon":31,"machineTranslated":28,"name":32,"slug":33,"sourceLocale":34},1934,"Platform for integrating spatial data","fme","2026.3,26589","2026-10-07T09:38:29.80354Z",{"autoUpdates":28,"deprecated":28,"disabled":28,"displayName":501,"editorChoice":28,"installs30d":502,"isFont":28,"isLibrary":28,"kind":58,"machineTranslated":28,"name":501,"primaryCategory":503,"rank30d":504,"sourceLocale":456,"summary":505,"token":506,"version":507,"versionChangedAt":508},"GeoGebra",15,{"icon":31,"machineTranslated":28,"name":32,"slug":33,"sourceLocale":34},1885,"Solve, save and share math problems, graph functions, etc","geogebra@5","5.4.931.2","2026-10-07T09:38:36.653349Z","\u003Cp>Formal proof management system\u003C\u002Fp>\n"]