Lean 4 formalization of the Governance Boundary.
This repository provides a Lean 4 formalization of the Governance Boundary.
lake update
lake build
lake exe verifystructural-explainability/GovernanceBoundary
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|