HoTTEST Summer School 2022
Young scientists interested in homotopy type theory and formalisation of mathematics
Member Verification Gate EnabledSoundboardWelcome Screen EnabledNewsCommunityAuto Moderationcreated Apr 15, 2022id 964553017212956692
1,566
members
177
online now
11.3%
active ratio
70
legitimacy score
Highest
verification gate
14h ago
last measured
How the legitimacy score of 70 is calculated
Activity +35 11.3% onlineVerified / partner +0 noAge +11 4.4 yrSize +13 1,566 membersCommunity status +5 communityTrack record +6 measured 23 day(s) over 27d
📈 Measured live across 23 days (27d tracked, 23 snapshots). 🔗 Linked 1 time across the web.
Member history
Measured 28 times; its member count changed 6 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/tkhJ9zCGs9 | invite | live | 14h 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.