> > I'm thinking about a *different* book that is essentially a gentle > introduction/walkthrough of set.mm as it currently exists, and is updated > simultaneously as set.mm is updated. Think of it as set.mm documentation > for those new to formal mathematics. > > > As a very gentle intro, maybe consider a gamified entry to Metamath similar to the Number game in Lean, https://www.google.com/search?q=number+game+Lean&oq=number+game+Lean&aqs=chrome..69i57j0i22i30l4.3971j0j15&sourceid=chrome&ie=UTF-8 Gonzalo
> -- > 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/1ECB3EDD-4C56-44E0-B6E2-23771ED8D63B%40dwheeler.com > . > -- 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/CACVOPBVQR54Kmw%3DNiNJF4A0DbbYhLmFAZS0PZ3BfRiuqNEpHeA%40mail.gmail.com.
