From 4364aa5d1db00225fa730165c6acbf145ddc4cc1 Mon Sep 17 00:00:00 2001
From: Dmitriy Gorshenin <dmitriy.gorshenin@gmail.com>
Date: Tue, 31 May 2022 22:47:33 +0300
Subject: [PATCH] =?UTF-8?q?=D0=9F=D0=BE=D0=BB=D0=B5=D0=B7=D0=BD=D1=8B?=
 =?UTF-8?q?=D0=B9=20=D1=84=D0=B0=D0=B9=D0=BB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 README.md

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*
+Работа выполнена в рамках альтернативного экзамена.
+#### Тему предложил: С.Н.Поздняков
+#### Работу выполнили:
+##### Горшенин Дмитрий
+##### Ковтун Богдан
+##### Тюлюбаев Артём