📚 教育课程
数学研究 📍 未知总部
1lab.dev
同伦类型论在线资源库
综合评分
★★★⯨☆ 7.0/10
中国可用
★★★ 国内直连友好
数据来源
ai_crawl · 最近更新 2026-06-03
中文卖点 / 编辑评测
形式化数学库，适合学术研究
关于此条目
1lab.dev 是一家 未知 的 教育课程 (数学研究) 服务商. TG4G 测评收录其 套餐「同伦类型论在线资源库」, 综合评分 7.0/10, 中国可用度 友好. 点击「前往官网」可直达 1lab.dev 官方页面.