Back to gallery

DevTools

tfpt by sthamann

Go to website ↗View on GitHub

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.

Maintainer

472 stars

Install

pip install tfpt

Tags

Python Cosmology Latex Lean4 Mathematical Physics

Languages

Last updated4w ago

License—

More Next.js projects

Integrate Next.js into your Django project. Maintained by QueraTeam on GitHub, where it has earned 400 stars from the community.

@QueraTeam5mo ago

Customizable and skinnable social platform dedicated to open data. Maintained by opendatateam on GitHub, where it has earned 271 stars from the community.

@opendatateam4h ago

Open-source GEO ranking and generative engine optimization platform. Maintained by yaojingang on GitHub, where it has earned 455 stars from the community.

@yaojingang7w ago