# Функциональный язык OCaml и его применение в системе интерактивных доказательств Coq*
Работа выполнена в рамках альтернативного экзамена.
#### Тему предложил: С.Н.Поздняков
#### Работу выполнили:
##### Горшенин Дмитрий
##### Ковтун Богдан
##### Тюлюбаев Артём