> On Jul 17, 2023, at 5:21 PM, Larry Lesyna <[email protected]> wrote:
>
> I am ready to submit my first theorem to Metamath. I tested it in my local
> copy of set.mm and I have created a personal fork. I could submit a pull
> request, but I think it would be better if my submission could be reviewed
> before doing so. I appreciate any advice.
WONDERFUL! We're always delighted to have new contributors.
Jim Kingdom gave some great advice. Welcome aboard!
--- David A. Wheeler
--
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/ADE2F615-6313-4B94-BF57-18634E6ECCB3%40dwheeler.com.
