From 6bc71db67bde5f93e19284c6e87ee425301d5ce8 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Fri, 23 Jun 2023 11:22:44 -0700
Subject: [PATCH] docs: update readme (#111)

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index fac2a848..d1390e80 100644
--- 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
 
 ```