more

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.