From: lkcl <lkcl@web>
Date: Thu, 10 Oct 2019 11:06:38 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3856
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cda944dc1c73cfaff41d62faa249bed1b7a064a5;p=libreriscv.git

---

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.