O Homebrew desativou este pacote: Sem atualização de versão há mais de 90 dias

Coq Platform

Aplicativo de gerenciamento de provas para macOS com Rocq Prover, voltado à demonstração interativa de teoremas e à programação com tipos dependentes.

CaskEducação e pesquisaApple Silicon · IntelDesativado

Página inicial

Fonte homebrew/cask

Instalações nos últimos 30 dias16

Instalações no último ano196Total em 365 dias

Versão mais recente2025.01.031 de mar. de 2025 · 31 de mar. de 2025

Tamanho do download1,0GBarm64 / x86_64 · dmg

Frequência de atualizaçõesIrregular0 versão nos últimos 30 dias

Sistema e arquitetura

Requisitos do sistema: Não confirmado

Disponibilidade por plataforma

macOS 27 · Intel · 2023.11.0,8.18.2023.11 Não confirmado
macOS 27 · Apple Silicon · 2025.01.0,8.20.2025.01 Não confirmado
macOS 26 · Intel · 2023.11.0,8.18.2023.11 Não confirmado
macOS 26 · Apple Silicon · 2025.01.0,8.20.2025.01 Não confirmado
macOS 15 · Intel · 2023.11.0,8.18.2023.11 Não confirmado
macOS 15 · Apple Silicon · 2025.01.0,8.20.2025.01 Não confirmado
macOS 14 · Intel · 2023.11.0,8.18.2023.11 Não confirmado
macOS 14 · Apple Silicon · 2025.01.0,8.20.2025.01 Não confirmado
macOS 13 · Intel · 2023.11.0,8.18.2023.11 Não confirmado
macOS 13 · Apple Silicon · 2025.01.0,8.20.2025.01 Não confirmado
macOS 12 · Intel · 2023.11.0,8.18.2023.11 Não confirmado
macOS 12 · Apple Silicon · 2025.01.0,8.20.2025.01 Não confirmado
macOS 11 · Intel · 2023.11.0,8.18.2023.11 Não confirmado
macOS 11 · Apple Silicon · 2025.01.0,8.20.2025.01 Não confirmado

Ver declaração completa

{
  "macos": {}
}

Repositório de origem: homebrew/cask
Outros nomes: Coq Platform · coqide · coq-platform
Endereço de download: github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg
SHA-256: 5bfced11017a61e6…
Arquivo de definição do Homebrew: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/c/coq-platform.rb
formulae.brew.sh: formulae.brew.sh/cask/coq-platform
Código-fonte: github.com/rocq-prover/platform

Conteúdo da instalação e desinstalação

Instalar app
Arquivo de origem: Coq-Platform~8.20~2025.01.app
Destino declarado: /Applications/Coq-Platform~8.20~2025.01.app
Ver declaração completa
```
{
  "app": [
    "Coq-Platform~8.20~2025.01.app"
  ],
  "target": "/Applications/Coq-Platform~8.20~2025.01.app"
}
```

Remover dados do usuário zap

Ver declaração completa

{
  "zap": [
    {
      "trash": [
        "~/.config/coq",
        "~/Library/Application Support/coq",
        "~/Library/Saved Application State/fr.inria.coq.coqide.savedState"
      ]
    }
  ]
}