Structural Explainability: Contextual Evidence & Explanations (CEE)

Lean 4 formalization of the contextual structural explainability layer.

What This Formalizes

This repository provides a Lean 4 formalization of the Contextual Evidence & Explanations (CEE) layer.

lake update
lake build
lake exe verify

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.github		.github
CEE		CEE
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
.yamllint.yml		.yamllint.yml
ANNOTATIONS.md		ANNOTATIONS.md
CEE.lean		CEE.lean
CITATION.cff		CITATION.cff
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