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 II /II.R03

Registry · Remark II.R03 established not_applicable

II.R03 — Inverted Dependency Chain

Inverted Dependency Chain

Book II Part 0 Ch. 3

Lean Formalization

Module:

Symbol:

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