#FORMALIZATION
List of the best Telegram channels tagged with #FORMALIZATION.
2Channels
531Combined reach
100%Russian
The #formalization tag brings together 2 Telegram channels with a combined audience of 531 subscribers. Content is primarily in Russian (100%). Channels are grouped under Education, Learning. Channels tagged #formalization frequently also cover #lean (100%), #mathematics (100%), #category-theory (50%).