diff --git a/README.md b/README.md
new file mode 100644
index 0000000..847668b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,7 @@
+# Функциональный язык OCaml и его применение в системе интерактивных доказательств Coq*
+Работа выполнена в рамках альтернативного экзамена.
+#### Тему предложил: С.Н.Поздняков
+#### Работу выполнили:
+##### Горшенин Дмитрий
+##### Ковтун Богдан
+##### Тюлюбаев Артём