Zulip Chat Archive

Stream: new members

Topic: Adding Kleene Algebras

Siddhartha Prasad (Dec 15 2022 at 14:25):

Hi everyone, I am a new user and would like to contribute a library implementing Kleene Algebras to mathlib. Could I please get write access to non-master branches of the mathlib repository, so I can open a PR? My Github username is sidprasad.

Thank you!

Floris van Doorn (Dec 15 2022 at 14:31):

invite sent!

Siddhartha Prasad (Dec 15 2022 at 16:23):

Thank you!

Last updated: Dec 20 2023 at 11:08 UTC