#DEPENDENT-TYPES

List of the best Telegram channels tagged with #DEPENDENT-TYPES.

TGList data, October 2026: 1 channels tagged #dependent-types. Top-ranked: formal labs (446 subscribers). Often tagged together with #lean, #mathematics, #category-theory.