moved to admin repos

potential-members.md

-## Potential Members
-initial members I can see include (please extend)
-
-- KWARC of course
-- Magda Wolska at Tübingen Universitz 
-- Moritz Schubotz and his various collaborators at Konstanz University
-- Bley/Lafferty and their project
-- Richard Zanibbi (Rochester Institute of Technology) 
-- Lee Giles (Penn State) 
-- NIST (Bruce Miller with DLMF and Howard Cohl with DRMF)
-- Akiko Aizawa and Goran Topic
-- Various Corpus providers like zbMATH (they are moving towards an open content policy), maybe even arXiv.
-- maybe Math corporations like WIRIS and Authorea and Volker Sorge's Accessibility outfit?
-- Aarne Ranta and friends
-- 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.
-
-
-