написанное на OCaml

Матита Обзор инструмента Matita Matita — это ассистент по экспериментальному тестированию в Болонском университете.  Инструмент объединяет формальные доказательства, исполняемые алгоритмы […]