1Lab Discussion
The 1lab discord is a safe and inclusive place for discussing cubical methods in homotopy type theory. :cube:
CommunityNewsMember Verification Gate Enabledcreated Nov 27, 2021id 914172963157323776
157
members
27
online now
17.2%
active ratio
67
legitimacy score
High
verification gate
13h ago
last measured
How the legitimacy score of 67 is calculated
Activity +35 17.2% onlineVerified / partner +0 noAge +12 4.8 yrSize +9 157 membersCommunity status +5 communityTrack record +6 measured 22 day(s) over 27d
Live activity (widget)
21
online (widget)
1
visible channels
📈 Measured live across 22 days (27d tracked, 24 snapshots). 🔗 Linked 1 time across the web.
Now playing
Member history
Measured 25 times; its member count changed 1 time.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/NvXkUVYcxV | invite | live | 13h ago |
Same-operator servers
Other servers whose invites were created by the same account — often one operator or a network.
 Univalent Agda | 873 |
Embed & API. 
<img src="https://guildregister.com/badge/914172963157323776.svg"> · JSON · Own this server? Claim itFirst seen Aug 10, 2026. Member and online counts are Discord's own approximate counts, measured from the public invite API. GuildRegister is not affiliated with Discord.