Установка:

Для установки dafny в Ubuntu / Linux Mint, введите в Терминал:

sudo apt update
sudo apt install dafny
dafny — язык программирования с верификатором правильности программы

Подробная информация о пакете:

Язык программирования с верификатором правильности программы