Zulip Chat Archive
Stream: general
Topic: Leanprover community
Tobias Grosser (Nov 07 2018 at 11:50):
Can somebody give me access to leanprover-community (my gh account is https://github.com/tobig)
Mario Carneiro (Nov 07 2018 at 11:54):
done
Last updated: Dec 20 2023 at 11:08 UTC