Registry · Definition VII.D03 tau-effective formalized

VII.D03 — Diagrammatic Register

Typed readout functor from kernel to structural proofs; content is proof-bearing with proof-validity as coherence criterion.

Book VII Part 1 Ch. 3

Dependency Graph

Depended on by (2)

VII.L17 VII.T01

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.DiagrammaticRegister