From 55987d3ca2b77874935312113bceb9bc9e072868 Mon Sep 17 00:00:00 2001
From: Crocron4ik <121800330+Crocron4ik@users.noreply.github.com>
Date: Fri, 6 Mar 2026 14:50:49 +0300
Subject: [PATCH] fix typo

---
 lection-17.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lection-17.tex b/lection-17.tex
index 9db5cbd..a0f1142 100644
--- a/lection-17.tex
+++ b/lection-17.tex
@@ -343,7 +343,7 @@
 \item Используется специальный язык для описания алгоритмов/протоколов (Promela).
 \item Язык позволяет формализовать параллельные вычисления.
 \item Программа может быть вычислена в разных окружениях (например, случайное исполнение).
-\item Также, к программе могут быть добавлены условия, которые либо будут доказаны --- либо
+\item Также к программе могут быть добавлены условия, которые либо будут доказаны, либо
 будет найден контрпример (контрпример будет предъявлен).
 \end{itemize}
 \end{frame}