Create README.md

bongjunj · web-flow · commit 0478995575fe · 2025-11-22T13:12:01.000+09:00
diff --git a/README.md b/README.md
@@ -0,0 +1,4 @@
+```sh
+opam repo add git@github.com:prosyslab/llvm-builds.git
+opam install llvm-prosys
+```

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +```sh
 +opam repo add [email protected]:prosyslab/llvm-builds.git
 +opam install llvm-prosys
 +```