HoTTEST Summer School 2022
Young scientists interested in homotopy type theory and formalisation of mathematics
Welcome Screen EnabledSoundboardAuto ModerationCommunityMember Verification Gate EnabledNewscreated Apr 15, 2022id 964553017212956692
1,562
members
186
online now
11.9%
active ratio
75
legitimacy score
Highest
verification gate
11h ago
last measured
How the legitimacy score of 75 is calculated
Activity +35 11.9% onlineVerified / partner +0 noAge +11 4.5 yrSize +13 1,562 membersCommunity status +5 communityTrack record +11 measured 57 day(s) over 72d
📈 Measured live across 57 days (72d tracked, 57 snapshots). 🔗 Linked 1 time across the web.
Bigger than 77% of Education Study servers (8,594 measured)
Member history
Measured 117 times; its member count changed 22 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 | 874 |
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.