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: May 02 2025 at 03:31 UTC