First of all, welcome! Always good to have more people doing things with metamath.
Various people would be glad to look at your submission but I think making it a pull request will be the easiest way to let them look at the change. I mean you could make it a Draft Pull Request if you really want to emphasize the point of not being sure whether it should be merged. This also means the automated checks will run which covers a lot of points. On July 17, 2023 2:21:21 PM PDT, 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. > >Larry > > >-- >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/1a930bae-27fa-45dc-a182-6dfd79e8c38en%40googlegroups.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/663E74BE-0A5A-497C-B886-76500BF9892B%40panix.com.
