TGList
Settings
Theme
Language
ENEnglishESEspañolHIहिन्दीPTPortuguêsRUРусскийUAУкраїнськаZH中文ARالعربيةTRTürkçe
Contact

Cooperation or bug report? Please contact us:

[email protected]
formallabsFO

formal labs

451 订阅者
在 Telegram 中打开
信息
语言俄语
分类教育
地区国际的
受众学生
风格教育性
发帖频率每周几次
最新帖子2026年10月24日 · 4 天前
标签
#Lean#mathematics#category theory#dependent types#formalization#lectures#programming#theory
分析
451
订阅者
100.0%
互动率
100%
原创内容
296
平均长度（字符）
低的
媒体丰富度
无
广告
文本
格式
频道
类型