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.

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 its own terms; see the repository for details.

Formalization & verification

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

Fonts

• Inter by Rasmus Andersson — UI typeface, served via Google Fonts under the SIL Open Font License 1.1.
• Georgia / Times New Roman — system serif fallbacks for display math and decorative glyphs.

Site infrastructure

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

Search & analytics

• Pagefind — privacy-preserving, client-side full-text search. No server, no tracking.
• Umami — self-hostable, cookie-free web analytics.
• 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.

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 is downloadable as references.bib.

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