installation

Commandes d'installation supplémentaires

macOS

Homebrew Caskvérifié · 100%

brew install --cask isabelle

local Homebrew cask metadata

aperçu

Résumé du paquet

Generic proof assistant

Liens du projet

Commandes et alias

isabelle

posture de sécurité

Aucune couverture d'outil protégé trouvée pour le moment

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour isabelle. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Aucune métadonnée de bottle Homebrew n’a été enregistrée.

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
`isabelle`	binaire	binaire de cask Homebrew	isabelle

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-08-04

version du gestionnaire2025-2

gestionnaire mis à jour

données localesOK

amontnot checked

dernière version détectéenon détecté

https://www.cl.cam.ac.uk/research/hvg/Isabelle/

infoNo package-manager update timestamp was available.confiance faible
infoRelease/tag comparison is only available for GitHub repositories.https://www.cl.cam.ac.uk/research/hvg/Isabelle/confiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	cask:isabelle
Version	2025-2
Gestionnaire de paquets	Homebrew Cask
Page du gestionnaire de paquets	https://formulae.brew.sh/cask/isabelle
Page d'accueil	https://www.cl.cam.ac.uk/research/hvg/Isabelle/
Docs amont	https://www.cl.cam.ac.uk/research/hvg/Isabelle/
Archive source	https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz
SHA-256	8f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e
Bouteille	non enregistré
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

Source Database	Homebrew cask API
Tap	homebrew/cask
Full Token	isabelle
Names	Isabelle
Artifacts	Artifact 1 Binary 1 Target 2
Deprecated	no
Disabled	no

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

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.

Sources utilisées

cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

Installer isabelle avec Homebrew Cask