On 3/17/25 11:47, ducourtial.metamath.monologue534 via Metamath wrote:
My name is Adrian Ducourtial, and I would be interested in
contributing to the Metamath project
Welcome.
As a first, superficial contribution, I have spotted a typo in the
description of the theorem 4on: It should begin "Ordinal 4..." rather
than "Ordinal 3...". I'm still learning the whole GitHub flow, however.
Good catch.
Hopefully it isn't too hard to learn how to submit this change via
github - I realize it isn't exactly mathematical learning but it is
central enough to this project (and some other mathematical projects
too) that submitting this change via github should be a nice way to get
to know the process.
--
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/e1811b13-7f1a-4cd7-ae5d-532998f5c43c%40panix.com.
