Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
AlphaPeu commune

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.

Propriétaire
sthamann (compte personnel)
Étoiles
Étoiles : 445
Forks
Forks : 1
Langage
Python
Licence
Aucune
Création
2026
Sujets
cosmologylatexlean4mathematical-physicsnextjsparticle-physicspythonreproducible-researchstandard-modeltheoretical-physics
Rang
Alpha (250 à 699 ★) Ce que veut dire ce rang
Voir sur GitHub

Autres dépôts de sthamann

Les 2 dépôts de sthamann

D’autres dépôts Python

Tous les dépôts Python