← Libera.Chat

##typetheory

Live

on Libera.Chat · 30-day trend 0.0%

People now

13

All-time peak

13

First tracked

25 Jul 2026

Last seen

58 mins ago

People in ##typetheory

24h 7d 30d 1y 10y All

Last 24 hours

12

13

13

14

19:4801:4807:4813:48now