Need help reaching out to one of ypur members

[Federico Cretella]

Hi all,

Is there a way I can request the email of one of the members to contact them one-on-one?

Thank you all,

Regards,

Federico Cretella

[Jim Kingdon]

In https://github.com/metamath/set.mm/blob/develop/CONTRIBUTING.md there are names and GitHub handles for a few people who are willing to be contacted. Hopefully a GitHub private message is enough to get you started.