GitHub - Rockvaru/rockvaru.github.io: 🔍 Formalize accountable entities with Lean 4, mapping six entity kinds to their identity regimes for clear structural explainability.

Rockvaru / rockvaru.github.io Public

🔍 Formalize accountable entities with Lean 4, mapping six entity kinds to their identity regimes for clear structural explainability.

github.com/Rockvaru/AccountableEntities

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
spunkie		spunkie
index.md		index.md

About

🔍 Formalize accountable entities with Lean 4, mapping six entity kinds to their identity regimes for clear structural explainability.

github.com/Rockvaru/AccountableEntities

No releases published

No packages published