Documentation

SE.Individuation

Imports

Init
SE.Individuation.Structural.Account
SE.Individuation.Structural.BoundaryCompatibility
SE.Individuation.Structural.Commitments
SE.Individuation.Structural.Connectivity
SE.Individuation.Structural.Transport

Imported by

SE Theory: Individuation #

Lean 4 formalization of individuation theory for Structural Explainability.