macOS
Homebrewvérifié · 100%
brew install proof-generallocal Homebrew formula metadata
brew
Installer proof-general avec Homebrew
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de proof-general pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
aperçu
Résumé du paquet
Emacs-based generic interface for theorem provers
Liens du projet
Commandes et alias
- coqtags
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 12 plateformes.
- S’installe avec 1 dépendances d’exécution.
- Les métadonnées de compilation listent 2 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
coqtags | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-10
version du gestionnaire4.5
gestionnaire mis à jour
données localesOK
amontà jour
dernière version détectéev4.5
https://github.com/ProofGeneral/PG
- infoNo package-manager update timestamp was available.confiance faible
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:proof-general |
|---|---|
| Version | 4.5 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/proof-general |
| Page d'accueil | https://proofgeneral.github.io |
| Dépôt | https://github.com/ProofGeneral/PG |
| Docs amont | https://proofgeneral.github.io/doc/master/userman |
| Licence | GPL-3.0-or-later |
| Archive source | https://github.com/ProofGeneral/PG/archive/refs/tags/v4.5.tar.gz |
| Dépendances | emacs |
| Dépendances de compilation | texi2html, texinfo |
| Bouteille | disponible (sur arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, monterey, sonoma, ventura, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
| Précautions | HTML documentation is available in: $HOMEBREW_PREFIX/share/doc/proof-general |
faits du registre
Détails de la base source
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | proof-general |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment