On June 2, 2022 4:13:35 AM PDT, Jon P <[email protected]> wrote:
>
>If that's helpful I don't mind doing the legwork of
>writing the posts and finding appropriate places to put them (you have to
>be sensitive to subreddit posting rules etc).
Well I love the idea and it sounds like you have some ideas for how to make it
sound appealing (which is perhaps not as self evident as a game but which seems
potentially doable for a group which is some flavor of technical).
--
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/28581779-1434-40B5-AA88-FEB40EAEF2D3%40panix.com.
