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