Add formal contract submodule

denisecase · denisecase · commit 419c6610d822 · 2026-04-27T22:31:12.000-05:00
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "external/se-formal-contract"]
+	path = external/se-formal-contract
+	url = https://github.com/structural-explainability/se-formal-contract
diff --git a/external/se-formal-contract b/external/se-formal-contract
@@ -0,0 +1 @@
+Subproject commit cfc36a423fd44b50786ca7bd184f3e43009adf07

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[submodule "external/se-formal-contract"]`
	`2`	`+ path = external/se-formal-contract`
	`3`	`+ url = https://github.com/structural-explainability/se-formal-contract`