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