From f5e8c513aa679c6146e83fd9f838825d32aa6de1 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 7 Oct 2017 10:45:26 +0200
Subject: [PATCH] more

---
 potential-members.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/potential-members.md b/potential-members.md
index 44b58b6..0232486 100644
--- a/potential-members.md
+++ b/potential-members.md
@@ -15,6 +15,8 @@ initial members I can see include (please extend)
 - Arnold Neumaier and the Concise Group at Vienna University
 - Josef Urban at Prague University has a project in this direction
 - there is a group at Google who wants to do automated formalization via Deep Neural Networks
+- Jordi Saludes (he die Math Grammars in Molto project and is rumored to start things again)
+- Andreas Strotmann (he too).
 
 And the [International Mathematical Knowledge Trust (IMKT)](http://imkt.org) could provide admin/political support.
 
-- 
GitLab