# proof-general mit Homebrew installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für proof-general in AI-Agent-Workflows.

## Installation

```sh
sudo av install brew:proof-general
```

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install proof-general
```

  Evidenz: local Homebrew formula metadata

## Paketfakten

- **Paketschlüssel:** brew:proof-general
- **Paketmanager:** Homebrew
- **Version:** 4.5
- **Quellzusammenfassung:** Emacs-based generic interface for theorem provers
- **Homepage:** <https://proofgeneral.github.io>
- **Repository:** <https://github.com/ProofGeneral/PG>
- **Generiert:** 2026-08-03T19:37:03+00:00

## Executables

- coqtags (Alias)

## Installationsverhalten

- Bottle: nicht verfügbar

## Version und Aktualität

- Seite generiert: 2026-08-03
- Manager-Version: 4.5

## Sicherheitshinweise

narrow executable package without higher-risk signals.

- **Geiger-Risiko:** grün / niedrig
- narrow executable package without higher-risk signals


## Combined YAML source

View the package source record on GitHub. [combined/proof-general.yml](https://github.com/mxcl/pkgdb/blob/main/combined/proof-general.yml)


## Quellen

- pkg.so package database
- Geiger risk classifier
- pkgdb category and tag curation
- cross-ecosystem install command graph