HoTTEST Summer School 2022
Young scientists interested in homotopy type theory and formalisation of mathematics
CommunityMember Verification Gate EnabledNewsSoundboardAuto ModerationWelcome Screen Enabledcreated Apr 15, 2022id 964553017212956692
1,538
members
200
online now
13.0%
active ratio
76
legitimacy score
Highest
verification gate
11h ago
last measured
How the legitimacy score of 76 is calculated
Activity +35 13.0% onlineVerified / partner +0 noAge +11 4.6 yrSize +13 1,538 membersCommunity status +5 communityTrack record +12 measured 70 day(s) over 89d
📈 Measured live across 70 days (89d tracked, 70 snapshots). 🔗 Linked 1 time across the web.
Bigger than 78% of Education Study servers (8,640 measured)
Member history
Measured 154 times; its member count changed 26 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/tkhJ9zCGs9 | invite | live | 11h ago |
Same-operator servers
Other servers whose invites were created by the same account — often one operator or a network.
 Univalent Agda | 863 |
Embed & API. 
<img src="https://guildregister.com/badge/964553017212956692.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.