On Thursday, June 27, 2019 at 3:38:23 PM UTC+3, Alexander van der Vekens wrote: > > In addition to filling the (small) gap of unproven theorems of the "100 > theorem list", I think it could be a challenge to prove currently unproven > theorems of this Wikipedia list. >
Probably the most straightforward way to complete such a task would be to convert Metamath into interactive courseware. I've accidentally found similar applications for online courses in several universities. Looks like this is a promising trend. Using efforts of many students for doing distributed formalization might be a powerful instrument, but turning it into addictive internet game should attract even more people. Right now existing applications look very isolated from the rest of Metamath activities and their UI is mostly outdated. -- 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/3be32561-c9db-41f8-bbd1-ace6c8148da5%40googlegroups.com.
