sthamann/tfpt

• 类型：github
• 标识：sthamann/tfpt
• 链接：https://github.com/sthamann/tfpt
• 主题：engineering
• 主分类：engineering
• 形态：tool
• 分类：academic-writing
• Stars：526
• 周增：-44
• 语言：Python
• 最近提交：2026-08-22
• 简介：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.
• 上次采集：2026-08-22
• 首次采集：2026-08-15
• 学术状态：accepted
• 学术阶段：research
• 学术主任务：reproducibility
• 学术方向：misc
• 学术用途：research-design
• 能力分面：latex
• 学术相关度：80
• 学术判定：deterministic
• 学术证据：anchor:research; anchor:latex; query:academic-latex; task:reproducibility:reproducible research
• 学术复核时间：2026-08-22T13:30:02+08:00
• 待LLM分类：否
• 成熟度：research
• 简介中文：拓扑不动点理论：由两个公理推导标准模型、α⁻¹ 与宇宙学的机器可验证离散编译器。包含论文、验证套件（Python/Wolfram/Lean）、实验及网站。
• 场景：physics、compiler、formal verification
• 来源文件：
• [GitHub Search]