update readme

ADA-research · Oct 13, 2023 · e11eef9 · e11eef9
1 parent fd87013
commit e11eef9
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -1,11 +1,5 @@
 # Auto-Verify 0.1.0
 
-```bash
-conda create -n av python=3.10 -y
-conda activate av
+Auto-Verify is a framework for neural network verification, that allows you to install, configure and run verification tools in parallel portfolios.
 
-pip install -e .
-pip install -e ".[dev]"
-
-auto-verify --help
-```
+To get started, head to the [Documentation](ada-research.github.io/auto-verify/).