#

exchange-protocol

Here is 1 public repository matching this topic...

structural-explainability / ExchangeProtocol

Lean 4 formalization of the exchange protocol schemas.

theorem-proving provenance civic-tech dependency-graphs formal-verification accountability semantic-interoperability data-provenance lean4 formal-ontology identity-regimes structural-explainability exchange-protocol

Updated May 1, 2026
Lean

Improve this page

Add a description, image, and links to the exchange-protocol topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the exchange-protocol topic, visit your repo's landing page and select "manage topics."