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: Feb 28 2026 at 14:05 UTC