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 ```