(no commit message)

diff --git a/nlnet_proposals.mdwn b/nlnet_proposals.mdwn
index 530c5e43b0f578c6e9618afdc636586d2a45540e..2e06d347d56eba66076a59ea19764c50c3438f2a 100644 (file)
--- 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.