##hott

Live

on Libera.Chat · 30-day trend 0.0%

Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org

People now

All-time peak

First tracked

25 Jul 2026

Last seen

1 hr ago

People in ##hott

24h 7d 30d 1y 10y All

Last 24 hours

19:5601:5607:5613:56now