docs: update readme (#111)

a16z · Jun 23, 2023 · 6bc71db · 6bc71db
1 parent 1d8ce3d
commit 6bc71db
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -24,6 +24,11 @@ Join the [Halmos Telegram Group][chat] for any inquiries or further discussions.
 $ pip install halmos
 ```
 
+Or, if you want to try the latest dev version:
+```
+$ pip install git+https://github.com/a16z/halmos
+```
+
 ## Usage
 
 ```