F
📦 content_blog
学者个人主页 德国总部 国内优化
florisvandoorn.com content_blog测评
这是数学家Floris van Doorn的个人学术主页，他在德国波恩大学领导形式化数学小组。网站发布个人新闻，包括获奖（如Skolem奖）、项目进展（如Carleson项目完成）、招聘博士生信息以及教学课程链接。主要面向数学和计算机科学领
TTG4G 编辑组
·更新于 2026-07-11 ·数据来源: ai_fine
评测方法 ↗
数据来源
ai_fine · 最近更新 2026-07-11
行业深度解析AI 深度分析
一句话波恩大学数学教授 Floris van Doorn 的个人学术主页，聚焦 Lean 定理证明器、形式化数学与同伦类型论。
定价免费访问 网站内容为个人学术主页、论文、课件、讲座资料与项目链接，未提供商业定价或付费服务。
适合谁形式化数学研究者、Lean/证明助手学习者、数学与计算机科学学生、学术合作者
核心功能个人简介、联系方式与学术履历形式化数学、Lean、HoTT 等研究项目介绍论文、预印本、讲义、幻灯片与代码仓库链接教学课程与过往授课记录学术报告与研讨会资料汇总Lean 相关学习资源入口
中国访问未知
适用场景查找 Floris van Doorn 的论文与讲座资料；了解 Lean 形式化数学项目；寻找形式化数学博士/合作信息；学习证明助手相关课程材料。
同类Lean Prover 官网、Mathematics in Lean、Natural Number Game、mathlib 文档、Jeremy Avigad 个人主页
优点- 内容高度专业，覆盖 Lean 与形式化数学前沿项目
- 论文、Slides、GitHub、arXiv 等外链资料完整
- 学术履历和项目脉络清晰，便于了解研究方向
- 对学习 Lean 和数学形式化的人有较高参考价值
不足- 不是结构化课程平台，缺少学习路径和交互式教学功能
- 页面偏静态个人主页，导航和检索能力有限
- 内容主要为英文，且门槛较高
- 部分外部资源可能依赖 arXiv、GitHub、视频平台等访问情况
官网快照
/shot/florisvandoorn-com.png
florisvandoorn.com
F
florisvandoorn.com
快照生成中 · 后端每周自动抓取官网首页
价格未公开
当前定价
价格采集自官网公开页面,实时更新;历史走势数据采集中,暂无足够历史样本。下单请以官网实时价为准。
用户评价
综合评分
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。
常见问题
florisvandoorn.com 是一家德国的content_blog (学者个人主页)服务商. 形式化数学学者主页，可查研究动态.
florisvandoorn.com 在中国大陆有较好的直连体验, 多数地区无需代理即可访问. 该商家总部位于德国, 主要面向海外市场.
访问 florisvandoorn.com 官网完成注册即可使用. 注册一般需要邮箱 (推荐 Gmail/Outlook) 和支付方式. 多数海外服务支持信用卡 / PayPal / 加密货币. 完整流程见本页"前往官网"按钮.