sthamann

sthamann

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
452 Stars
1 Forks
2 Watchers

🏆 Show off this rank

sthamann on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (1)

tfpt sthamann/tfpt Python

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.

452