diff --git a/README.md b/README.md index 395f1a9..f3e9e0e 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,7 @@ poetry add git+https://github.com/informalsystems/apalache-chai.git ## Documentation -- [API Documentation](https://informalsystems.github.io/apalache-chai/chai.html) +- [API Documentation](https://apalache-mc.github.io/apalache-chai/chai.html) - [Example Application](./example/README.md) ## Development