Introducing myself: Martin C. Martin

Stream: new members

[Martin C. Martin]

Hi, I'm a retired software engineer who took more math classes in undergrad then needed, because I enjoyed them and did well in them. Now I'm hoping to contribute to mathlib, and perhaps eventually, use AI to actually contribute to math research (but don't hold your breath).

I'd like write access to the mathlib git repository, please.

[Patrick Massot]

What kind of mathematics do you hope to contribute first?

[Martin C. Martin]

You mean to mathlib, or my AI project? The AI project is too far off, I don't have a topic yet. For mathlib, I want to move Module.ofCore into its own MinimalAxioms file, and rename it ofMinimalAxioms. This was discussed in another thread.

[Johan Commelin]

@Martin C. Martin can you please tell us your github username?

[Yaël Dillies]

martincmartin, from the Zulip profile.

[Johan Commelin]

@Martin C. Martin voila: https://github.com/leanprover-community/mathlib4/invitations