Structural Explainability: Governance Boundary

Lean 4 formalization of the Governance Boundary.

What This Formalizes

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

lake update
lake build
lake exe verify

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.github		.github
GovernanceBoundary		GovernanceBoundary
docs		docs
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
.yamllint.yml		.yamllint.yml
ANNOTATIONS.md		ANNOTATIONS.md
CITATION.cff		CITATION.cff
GovernanceBoundary.lean		GovernanceBoundary.lean
LICENSE		LICENSE
Main.lean		Main.lean
README.md		README.md
SE_MANIFEST.toml		SE_MANIFEST.toml
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
lychee.toml		lychee.toml