disdex
discord server index
HoTTEST Summer School 2022

HoTTEST Summer School 2022

Young scientists interested in homotopy type theory and formalisation of mathematics

Join server
1,537
members
187
online
0
boosts
Apr 15, 2022
created
Mar 30, 2026
added to disdex
Nov 05, 2026
last checked

members + online

membersonline
1,5611,1707803900Oct 07Oct 31Nov 05

games (0)

no games associated with this server

hottest content
hottest content
310 members10 online
join for the hottest content
join for the hottest content
579 members8 online
join for the hottest content
join for the hottest content
184 members1 online
SUMMER
SUMMER
1 members0 online
Summer 2019
Summer 2019
1 members0 online
Summer Server
Summer Server
47 members4 online
S
SUMMER
1 members0 online
☀・Summer #0.4k
☀・Summer #0.4k
211 members17 online
Autumn [🍂]
Autumn [🍂]
86 members22 online
S
Summer MA 351
7 members0 online
Summer
Summer
54 members7 online
Summer Vibes banner
Summer Vibes
Summer Vibes
210 members23 online

invites (1)

CodeInviterStatus
tkhJ9zCGs9@egubachualive