We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ee3076a commit 8e9ab75Copy full SHA for 8e9ab75
1 file changed
SE_MANIFEST.toml
@@ -10,7 +10,7 @@ summary = "Lean formalization of Context Evidence and Explanations (CEE)."
10
11
[layer]
12
space = "SE"
13
-role = "formal-identity"
+role = "formal-interpretive-interface"
14
15
[depends]
16
required = [
0 commit comments