Credits & Attributions

The Panta Rhei research site is handcrafted with the help of excellent open-source and third-party work. We thank the authors and communities behind the following tools and assets.

For how the site is built — the static-site stack, the search pipeline, the metadata layer, the design system, and the build-time site facts — see the Colophon.

Content license

All original site content — prose, diagrams, mathematics, registry objects, and results — is released under Creative Commons Attribution 4.0 International (CC BY 4.0). You may share and adapt freely with attribution.

The Panta Rhei project’s formalization repository TauLib is licensed separately under the Apache License 2.0.

Formalization & verification

• Lean 4 — the proof assistant hosting TauLib. Apache 2.0.
• Mathlib — the Lean community’s mathematics library; TauLib uses its tactics and basic algebra infrastructure. Apache 2.0.

Fonts

• Inter by Rasmus Andersson — UI / body typeface, self-hosted as a single variable .woff2 under the SIL Open Font License 1.1 (zero external font requests).
• Iowan Old Style → Palatino → Palatino Linotype → Book Antiqua → Georgia → serif — the display / wordmark serif stack, resolved client-side against system fonts (no network request). See Brand for typographic usage.

Site infrastructure

• Jekyll — the static site generator that builds every page. MIT.
• Kramdown — Jekyll’s Markdown engine. MIT.
• Rouge — syntax highlighting. MIT.
• jekyll-sitemap — sitemap.xml generation. MIT.

Search & analytics

• Pagefind — privacy-preserving, client-side full-text search. No server, no tracking. MIT.
• Umami — cookieless, IP-anonymized web analytics (see Datenschutz § 9 for the DSGVO-grade disclosure). MIT.
• Buttondown — minimal, privacy-respecting newsletter tooling.

Diagrams & figures

• TikZ / pgf — source language for the framework diagrams, compiled to standalone SVG via the project’s diagram pipeline. LPPL.
• Lucide Icons — portfolio icons in the Impact lane, vendored locally from lucide-static 1.14.0. ISC; Feather-derived icons remain under MIT where listed in the Lucide license file.

Data sources

• CODATA 2018 — recommended values of the fundamental physical constants.
• Particle Data Group — particle physics reference data (masses, mixing angles, lifetimes).

Bibliography

The bibliography is built from hand-curated BibTeX entries with per-entry editorial overrides. Classical and modern sources are linked to their canonical publisher, DOI, or arXiv record wherever available. The full reference list (1,125 entries) is downloadable as references.bib.

---

If you notice a missing attribution or a licensing error, please get in touch — we’ll correct it promptly.