__main__ guard added back and markdown docs added

flengyel · flengyel · commit 6d236c0348c1 · 2026-03-08T19:39:02.000-04:00
diff --git a/experiments/degenerate_counterexample.py b/experiments/degenerate_counterexample.py
@@ -27,3 +27,6 @@ def main():
     print("Filler:", f)
     print("Counterexample and filler agree:", np.array_equal(counterexample,f))
     
+if __name__ == "__main__":
+    main()
+
