npm · PyPI
sthamann/tfpt
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.
Без ліцензії21 лип. 2026 р. · метрики 1.13.0