OCaml software

Вики

Coq (программное обеспечение)

/

Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические […]

Вики

Хаксе

/

Хаксе Обзор Haxe Haxe — это язык программирования с открытым исходным кодом, который позволяет создавать кроссплатформенные приложения.  Он поддерживает объектно-ориентированное,

Вики

Матита

/

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

Вики

Coq (программное обеспечение)

/

Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические

Вики

OCaml

/

OCaml (ОКамл) Обзор OCaml OCaml — это функциональный язык программирования, разработанный в 1987 году.  Он имеет синтаксис, похожий на ML,

Прокрутить вверх