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