On 1/4/25 08:21, 'Andrew Thompson Thompson' via Metamath wrote:
there is plenty to do for everyone from newbies ( tell us how you got it
working ) to experts.
Totally agreed. We aren't going to run out of things to work on with
metamath.
Finally, I will make the observation that women are not equal to men.
This is easily demonstrated in all but a countable number of Von Neumann
Univeraes!
I'm not sure whether this is intended as humor or what, but I do feel
the need to say that we welcome contributors to metamath of any gender,
and indeed have received contributions from people of multiple genders
and continue to do so.
We haven't formalized our Code of Conduct, but we do have a mostly
unwritten one as described here:
https://github.com/metamath/set.mm/issues/3170#issuecomment-1546072331
--
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 visit
https://groups.google.com/d/msgid/metamath/1213e2d6-97f7-475b-8bd7-50d38ec34dec%40panix.com.
