Установка dafny в Ubuntu / Linux Mint

Установка:

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

sudo apt update

sudo apt install dafny

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

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

Октябрь 2020 Источник: packages.ubuntu.com

Зависимости:
libmono-corlib4.5-cil

Монообменная библиотека (для CLI 4.5)
libmono-system-core4.0-cil

Библиотека Mono System.Core (для CLI 4.0)
libmono-system-drawing4.0-cil

Библиотека Mono System.Drawing (для CLI 4.0)
libmono-system-numerics4.0-cil

Библиотека Mono System.Numerics (для CLI 4.0)
libmono-system-runtime-caching4.0-cil

Библиотека Mono System.Runtime.Caching (для CLI 4.0)
libmono-system-windows-forms4.0-cil

Библиотека Mono System.Windows.Forms (для CLI 4.0)
libmono-system-xml4.0-cil

Библиотека Mono System.Xml (для CLI 4.0)
libmono-system4.0-cil

Библиотеки Mono System (для CLI 4.0)
mono-mcs

Компилятор Mono C# 2.0 / 3.0 / 4.0 / 5.0 для CLI 2.0 / 4.0 / 4.5
mono-runtime

Mono runtime - версия по умолчанию
z3

Доказательство теоремы от Microsoft Research