Independent Hilbert-Smith proof with Lean4 verification
说明与用途
使用 Lean4 验证的独立 Hilbert‑Smith 证明为拓扑学研究提供了形式化的可靠基础。采用时只需添加仓库、阅读 README 并运行测试，然后将证明集成到原型或内部工作流中。生产就绪度为中等：项目保持定期更新，但仍需手动检查依赖和维护情况。
实际用途
Independent Hilbert-Smith proof with Lean4 verification may be useful when its README and activity match a concrete workflow.
限制与审查说明
Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
- 来源: hackernews
- 记录日期: 2026-10-08T10:06:38.000Z