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. Maintained by sthamann on GitHub, where it has earned 472 stars from the community.

It's actively developed around cosmology, latex, lean4, and is a solid reference for anyone building with these tools.