Lean 4 formalization of the contextual structural explainability layer.
This repository provides a Lean 4 formalization of the Contextual Evidence & Explanations (CEE) layer.
lake update
lake build
lake exe verifystructural-explainability/CEE
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|