Free software programmed in OCaml

Вики

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

/

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

Вики

Матита

/

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

Вики

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

/

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

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