Dear Metamath community, My name is Adrian Ducourtial, and I would be interested in contributing to the Metamath project, primarily the set.mm database. As is recommended, I will be starting slow and learning the language from there. In any case, I find the clear and principled approach to mathematical theory, at the core of Metamath's philosophy, to be valuable and worthwhile.
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. PS. As this mailing list is public, I have chosen to subscribe with a forwarding email address. My GitHub account is @ducourtial. Best wishes, Adrian -- 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/174223726673.7.4278027663309323244.640190610%40passfwd.com.
