Skip to main content

πρ Panta Rhei Research Independent open research program

Research Program Framework Key Results Publications Verify Impact Engage

Section Navigation

Registry

Overview

Books

Book I Book II Book III Book IV Book V Book VI Book VII

Dashboards

Book I Book II Book III Book IV Book V Book VI Book VII

Release 2nd Edition

Status Canonical

Updated April 2026

Home /Registry /Book V /V.D199

Registry · Definition V.D199 tau-effective planned

V.D199 — Opening Bookend

Opening bookend for the beta-decay chapter.

Book V Part 6 Ch. 49

Lean Formalization

Module:

On this page

Lean Formalization

Panta Rhei Research Program

Public research observatory · canonical release · verification surfaces

Cite Media Review Kit Bibliography Founders Repository Contact Changelog Impressum Datenschutz

© 2026 Thorsten Fuchs & Anna-Sophie Fuchs · Content CC BY 4.0 · Credits

Search the Atlas