HoTTEST Summer School 2022
Young scientists interested in homotopy type theory and formalisation of mathematics
CommunitySoundboardWelcome Screen EnabledMember Verification Gate EnabledNewsAuto Moderationcreated Apr 15, 2022id 964553017212956692
1,558
members
181
online now
11.6%
active ratio
74
legitimacy score
Highest
verification gate
10h ago
last measured
How the legitimacy score of 74 is calculated
Activity +35 11.6% onlineVerified / partner +0 noAge +11 4.5 yrSize +13 1,558 membersCommunity status +5 communityTrack record +10 measured 52 day(s) over 65d
📈 Measured live across 52 days (65d tracked, 52 snapshots). 🔗 Linked 1 time across the web.
Bigger than 78% of Education Study servers (8,306 measured)
Member history
Measured 100 times; its member count changed 19 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/tkhJ9zCGs9 | invite | live | 10h 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/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.