Popular repositories Loading
-
AccountableEntities
AccountableEntities Public🗂️ Explore the Lean 4 formalization of Accountable Entities, detailing six entity types and their identity regime mappings for clear understanding and application.
Lean
-
rockvaru.github.io
rockvaru.github.io Public🔍 Formalize accountable entities with Lean 4, mapping six entity kinds to their identity regimes for clear structural explainability.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.