Hi all, The project is now up. Please start contributing here: https://sophize.org/s/metamath/J_automation
A little info about the interface: The interface crystallizes Profs. Terry Tao <https://en.wikipedia.org/wiki/Terence_Tao> and Timothy Gowers <https://en.wikipedia.org/wiki/Timothy_Gowers> vision for large scale online collaborations. We have implemented all features they wanted (see this <https://terrytao.wordpress.com/2009/07/22/imo-2009-q6-mini-polymath-project-impressions-reflections-analysis/#comment-40659> and this <https://gowers.wordpress.com/2009/03/24/can-polymath-be-scaled-up/>) and more. Make sure you can find the index of pages at the top of the page (see clip <https://www.youtube.com/watch?v=y3_3w80r5Cw>). Check the help <https://sophize.org/s/metamath/J_automation/help> page for more info. On Saturday, July 18, 2020 at 10:26:16 AM UTC+5:30 Abhishek Chugh wrote: > FRIENDLY REMINDER: We are almost ready to begin our discussions. Please > fill in the survey so that we can get started without delays. > > > https://docs.google.com/forms/d/e/1FAIpQLSfTjuVg-kMj8N2YeWo6O4jOH17EytisLR_pXby6fl3oTxd81A/viewform?usp=sf_link > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/bf604187-b164-487e-a5f1-8b4f51b66572n%40googlegroups.com.
