32 lines (20 loc) · 855 Bytes

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.

Build and Run

lake update
lake build
lake exe verify

Annotations

Citation

License