#DEPENDENT-TYPES
List of the best Telegram channels tagged with #DEPENDENT-TYPES.
1Channels
451Combined reach
100%Russian
The #dependent-types tag brings together 1 Telegram channel with a combined audience of 451 subscribers. Content is primarily in Russian (100%). Channels are grouped under Education. Channels tagged #dependent-types frequently also cover #lean (100%), #mathematics (100%), #category-theory (100%).