Publish Zymatica Voice LLM hepta-architecture showcase codebases
Browse files
11_Multi_Language_Runtimes_Yang/run_proof.py
ADDED
|
@@ -0,0 +1,13 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Wrapper to execute the Multi-Language Python FFI structures verification proof.
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
|
| 4 |
+
import os
|
| 5 |
+
import sys
|
| 6 |
+
|
| 7 |
+
# Add src/python to path and execute proof main
|
| 8 |
+
sys.path.insert(0, os.path.join(os.path.dirname(__file__), "src", "python"))
|
| 9 |
+
|
| 10 |
+
import proof
|
| 11 |
+
|
| 12 |
+
if __name__ == "__main__":
|
| 13 |
+
proof.main()
|