Merge pull request #45 from GaloisInc/cite-ambient

Cite `ambient-verifier` in the README
GaloisInc · Jan 10, 2025 · cc5a906 · cc5a906
2 parents 82f14c3 + 9e2cbf2
commit cc5a906
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -14,4 +14,7 @@ cd doc/
 mdbook build
 ```
 
-[macaw-symbolic]: https://github.com/GaloisInc/macaw/tree/master/symbolic
+Much of the code in this repository was originally developed as part of the
+[`ambient-verifier`](https://github.com/GaloisInc/ambient-verifier) tool.
+
+[macaw-symbolic]: https://github.com/GaloisInc/macaw/tree/master/symbolic