Structural Explainability: Interpretation Boundary

Lean 4 formalization of the Interpretation Boundary.

What This Formalizes

This repository provides a Lean 4 formalization of the Interpretation Boundary.

Build and Run

lake update
lake build
lake exe verify

Annotations

ANNOTATIONS.md

Citation

CITATION.cff

License

MIT