installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install dafny

local Homebrew formula metadata

Linux

Nixvérifié · 92%

nix profile install nixpkgs#dafny

nixpkgs package indexes · pkgs/by-name/da/dafny/package.nix · Source: api.github.com

Ubuntu aptvérifié · 92%

sudo apt install dafny

Ubuntu 24.04 LTS package indexes · dafny · Source: archive.ubuntu.com

Windows

Scoopvérifié · 92%

scoop install main/dafny

Scoop official bucket manifest trees · bucket/dafny.json · Source: api.github.com

aperçu

Résumé du paquet

Verification-aware programming language

Liens du projet

Commandes et alias

dafny

historique

Historique du projet et usages

Dafny is a verification-aware programming language and toolchain. It occupies a special package-manager niche: a single CLI that lets developers write programs, specifications, and proofs together, then verify them and compile to mainstream languages.

Historique du projet

The official Dafny README describes Dafny as a verification-ready programming language whose verifier checks code against specifications while the developer writes. The public dafny-lang/dafny repository was created in 2016, and GitHub release metadata records Dafny 1.9.7 in June 2016.

Historique d'adoption

Dafny has grown through language documentation, binary releases for common operating systems, a wiki and issue tracker, and editor-centered workflows such as Visual Studio Code installation. Its README also points to tutorials, reference material, a Zulip channel, and a standard library, which are typical signs of a specialist language moving from research use into practical developer workflows.

Modes d'utilisation

Users write Dafny programs with specifications such as preconditions, postconditions, invariants, and proofs; the Dafny verifier checks them, and the compiler can emit C#, Go, Python, Java, or JavaScript. The reference manual is the authoritative source for the language and verification system.

Pourquoi les passionnés de paquets s'y intéressent

Dafny matters in package history because it packages formal methods as an installable developer tool rather than a one-off theorem-proving environment. It gives package managers a concrete artifact for a verification language, including CLI binaries, documentation, and cross-platform releases.

Chronologie

2016: Public dafny-lang/dafny GitHub repository is created.
2016: Dafny 1.9.7 is published on GitHub releases.
2017: Dafny 2.0.0 is published on GitHub releases.
2025: Dafny 4.11.0 is published on GitHub releases.

Related projects

The official README lists influences including Euclid, Eiffel, CLU, Java, C#, Scala, ML, Coq, and VeriFast, and points to Dafny libraries and editor integrations.

Sources

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Classificateur de risque

risque yellow · confiance moyen · runtime

Pourquoi

generalized runtime or code generation signal

Signaux

text:programming language

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 8 plateformes.
S’installe avec 2 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
`dafny`	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.11.0

gestionnaire mis à jour2026-06-22

données localesOK

amontà jour

dernière version détectéev4.11.0

https://github.com/dafny-lang/dafny

OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:dafny
Version	4.11.0
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/dafny
Page d'accueil	https://github.com/dafny-lang/dafny/blob/master/README.md
Dépôt	https://github.com/dafny-lang/dafny
Docs amont	https://dafny.org/dafny/DafnyRef/DafnyRef
Licence	MIT
Archive source	https://github.com/dafny-lang/dafny/archive/refs/tags/v4.11.0.tar.gz
Dernière mise à jour	2026-06-22T14:03:07-07:00
Pulse	updated
Dépendances	dotnet@8, z3
Dépendances de compilation	gradle@8, openjdk
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	dafny
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Nix95%

dafny

nix profile install nixpkgs#dafny

normalized package name match
Correspondance par : Dafny

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/da/dafny/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt95%

dafny 2.3.0+dfsg-0.1

programming language with program correctness verifier

https://research.microsoft.com/en-us/projects/dafny/

sudo apt install dafny

Section: universe/devel
Architecture: all
9 Dépendances
normalized package name match
Correspondance par : Dafny

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: dafny from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Scoop95%

main/dafny

scoop install main/dafny

normalized package name match
Correspondance par : Dafny

Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/dafny.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

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.

Combined YAML source

View the package source record on GitHub.

combined/dafny.yml

Sources utilisées

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

Installer dafny avec Homebrew, Nix, apt, scoop