Homebrew ha deshabilitado este paquete: Sin actualizaciones de versión durante más de 90 días

Coq Platform

Aplicación de gestión de pruebas para macOS con Rocq Prover, orientada a la demostración interactiva de teoremas y la programación con tipos dependientes.

CaskEducación e investigaciónChip Apple · IntelDesactivada

Inicio

De homebrew/cask

Instalaciones en los últimos 30 días16

Instalaciones del último año192Total de los últimos 365 días

Última versión2025.01.031 mar 2025 · 31 mar 2025

Tamaño de descarga1,0GBarm64 / x86_64 · dmg

Frecuencia de actualizaciónIrregular0 versiones en 30 días

Repositorio de origen: homebrew/cask
Otros nombres: Coq Platform · coqide · coq-platform
URL de descarga: 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…
Archivo de definición de Homebrew: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/c/coq-platform.rb
formulae.brew.sh: formulae.brew.sh/cask/coq-platform
Código fuente: github.com/rocq-prover/platform

Contenido de instalación y desinstalación

Instalar app
Archivo de origen: Coq-Platform~8.20~2025.01.app
Destino declarado: /Applications/Coq-Platform~8.20~2025.01.app
Ver declaración completa
```
{
  "app": [
    "Coq-Platform~8.20~2025.01.app"
  ],
  "target": "/Applications/Coq-Platform~8.20~2025.01.app"
}
```

Eliminar datos de usuario zap

Ver declaración completa

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