Update README.md

viperproject · Feb 14, 2025 · 03e4359 · 03e4359
1 parent da51298
commit 03e4359
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,2 +1 @@
-# axiom-profiler-2
- Temporary redirect to renamed repo
+# Project renamed to S<b><sub><sup>MT</sup></sub></b>S<b><sub><sup>COPE</sup></sub></b>: new [repo](https://github.com/viperproject/smt-scope) and [tool](https://viperproject.github.io/smt-scope/).