它解决什么
拓扑不动点理论：针对标准模型、α⁻¹及宇宙学的机器验证离散编译器，包含论文、验证套件（Python/Wolfram/Lean）、实验及网站。
Repository #1222469137 · stable identity
tfpt｜拓扑不动点理论验证工具sthamann/tfpt
sthamann/tfptAI 译
拓扑不动点理论：针对标准模型、α⁻¹及宇宙学的机器验证离散编译器，包含论文、验证套件（Python/Wolfram/Lean）、实验及网站。 Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.
- 当前 Star
- 622
- 作者 / 所有者
- sthamann
- 主要语言
- Python
- GitHub 创建
- 待补充
- 最近代码推送
- 待补充
- 已发布
- 发布天数待补充
- 首次发现
- 未知
- 最近追踪
- 未知
Decision brief
项目速览
适合谁
需要科学研究能力的开发者或团队。
为什么上榜
2026-07-15 获得 7 个公开唯一加星用户，全站公开事件榜第 15 名。
中文名称、简介和分类属于辅助理解层；GitHub 原始仓库信息始终是权威来源。
Project taxonomy
方向与适用场景
- 项目方向
- 科学与研究
- 产品形态
- 其他
- 适用场景
- 科学研究
- 分类来源
- GitHub Models 生成 · 词表 1.0.0
Public event history
公开事件新增历史
日期唯一新增全站名次
+7 #15
来自 GH Archive 归档的公开 WatchEvent，按用户—仓库唯一对计数；不扣除取消 Star。
Related repositories