ProvnAI — Open Research Initiative building the immune system for AI. Verifiable trust layers for autonomous agents.
-
Updated
Mar 16, 2026
#
accountable-entities
Here are 6 public repositories matching this topic...
Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
persistence logic theorem-proving formal-verification accountability foundations cardinality semantic-interoperability lean4 formal-ontology identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jan 23, 2026 - Lean
Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.
persistence theorem-proving formal-verification accountability semantic-interoperability lean4 formal-ontology neutral-substrate identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Feb 6, 2026 - Lean
Authoritative specification of Accountable Entities (AE).
persistence formal-specification neutrality identity-regimes structural-explainability accountable-entities
-
Updated
Mar 1, 2026
🗂️ Explore the Lean 4 formalization of Accountable Entities, detailing six entity types and their identity regime mappings for clear understanding and application.
persistence theorem-proving formal-verification accountability semantic-interoperability github-config formal-ontology neutral-substrate identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Mar 20, 2026 - Lean
🛠️ Formalize identity and persistence regimes for accountability in structural explainability within legal and analytic frameworks.
persistence logic theorem-proving formal-verification accountability foundations cardinality semantic-interoperability formal-ontology identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Mar 20, 2026 - Lean
Improve this page
Add a description, image, and links to the accountable-entities topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the accountable-entities topic, visit your repo's landing page and select "manage topics."