#FORMALIZATION

带有 #FORMALIZATION 标签的最佳 Telegram 频道列表。

TGList 数据（2026年11月）： 带有 #formalization 标签的频道共 2 个。 排名第一：formal labs（451 订阅者）。 常与 #lean, #mathematics, #category-theory 一起出现。