# proof-general 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
- **Paketmanager-Seite:** <https://formulae.brew.sh/formula/proof-general>
- **Version:** 4.5
- **Quellzusammenfassung:** Emacs-based generic interface for theorem provers
- **Homepage:** <https://proofgeneral.github.io>
- **Repository:** <https://github.com/ProofGeneral/PG>
- **Upstream-Dokumentation:** <https://proofgeneral.github.io>
- **Lizenz:** GPL-3.0-or-later
- **Quellarchiv:** <https://github.com/ProofGeneral/PG/archive/refs/tags/v4.5.tar.gz>
- **Aktualisiert:** 2026-02-14T17:15:18+01:00
- **Generierte Quelle:** 2026-05-26T22:45:13+00:00

## Executables

- coqtags (cli)
- coqtags (Alias)

## Abhängigkeiten

- emacs

## Build-Abhängigkeiten

- texi2html
- texinfo

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Caveats: HTML documentation is available in: $HOMEBREW_PREFIX/share/doc/proof-general
- Bottle: verfügbar auf arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, monterey, sonoma, ventura, x86_64_linux

## Aktualität

- Seite generiert: 2026-05-26
- Manager-Version: 4.5
- Manager aktualisiert: 2026-02-14
- lokale Daten: ok
- Upstream-Repository: https://github.com/ProofGeneral/PG
- neueste erkannte Version: v4.5 (current)

## Sicherheitshinweise

narrow executable package without higher-risk signals.

- **Geiger-Risiko:** green / low
- narrow executable package without higher-risk signals

## Verwandte Links

- [emacs](https://www.automicvault.com/pkg/brew/emacs/) - Runtime dependency declared by Homebrew.
- [texinfo](https://www.automicvault.com/pkg/brew/texinfo/) - Build dependency declared by Homebrew.
- [texi2html](https://www.automicvault.com/pkg/brew/texi2html/) - Build dependency declared by Homebrew.

## Quellen

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph