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