From cda944dc1c73cfaff41d62faa249bed1b7a064a5 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 10 Oct 2019 12:06:38 +0100
Subject: [PATCH]

---
 nlnet_proposals.mdwn | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/nlnet_proposals.mdwn b/nlnet_proposals.mdwn
index 530c5e43b..2e06d347d 100644
--- a/nlnet_proposals.mdwn
+++ b/nlnet_proposals.mdwn
@@ -36,3 +36,7 @@ Standby submitters:
 # OpenCL links
 
 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002857.html>
+
+# Formal Proofs
+
+Evgeny Ukhanov.
-- 
2.30.2