From 4a118b13fd54de187def68b7f485c7ac4d8503d2 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Wed, 23 Jan 2019 23:14:36 +0300
Subject: [PATCH] =?utf8?q?=D0=9F=D0=BE=D1=87=D0=B5=D0=BC=D1=83=20=D0=BB?=
 =?utf8?q?=D1=8E=D0=B4=D0=B8=20=D0=BD=D0=B5=20=D0=B8=D1=81=D0=BF=D0=BE?=
 =?utf8?q?=D0=BB=D1=8C=D0=B7=D1=83=D1=8E=D1=82=20=D1=84=D0=BE=D1=80=D0=BC?=
 =?utf8?q?=D0=B0=D0=BB=D1=8C=D0=BD=D1=8B=D0=B5=20=D0=BC=D0=B5=D1=82=D0=BE?=
 =?utf8?q?=D0=B4=D1=8B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
ÐÐ¾ÑÐ¾Ð¼Ñ-ÑÑÐ¾ ÑÐ»Ð¾Ð¶Ð½Ð¾. Ð¢ÑÐµÐ±ÑÐµÑ ÐºÑÑÑÑÑ Ð·Ð½Ð°Ð½Ð¸Ð¹ Ð¸ Ð¿Ð¾Ð´Ð³Ð¾ÑÐ¾Ð²ÐºÐ¸ -- Ð´Ð¾ÑÐ¾Ð³Ð¾. Ð¢Ð¾Ð»ÑÐºÐ¾
Ã¼ber-ÐºÑÐ¸ÑÐ¸ÑÐ½ÑÐµ Ð²ÐµÑÐ¸ ÐµÑÑ Ð½Ð°Ð²ÐµÑÐ½Ð¾Ðµ Ð¼Ð¾Ð¶Ð½Ð¾ Ð¿Ð¾Ð´ÑÐ¼Ð°ÑÑ.
-- 
2.50.0