Albatross 0.1 — это язык программирования со статической верификацией
Albatross — это язык программирования со статической верификацией и средство доказательства теорем. Компилятор написан на OCaml 4.
>>> Описание языка (PDF)
>>> Страница загрузки
albatross, ocaml, proof assistant, языки программирования
