same-unit

Here is 1 public repository matching this topic...

structural-explainability / se-theory-individuation

Lean 4 formalization of individuation theory for Structural Explainability (SE) - how something counts as one whole, and when elements belong to the same unit.

theorem-proving formal-methods individuation lean4 structural-explainability individuation-theory same-unit

Updated Oct 30, 2026
Lean

Add this topic to your repo

To associate your repository with the same-unit topic, visit your repo's landing page and select "manage topics."

Learn more