diff --git a/README.md b/README.md
index 4b7c5fc9529f3432166843260789b6e6a48cada1..e9ec46cdea014530ba5a61c719f902bceb19ed7a 100644
--- a/README.md
+++ b/README.md
@@ -150,6 +150,7 @@ The following are the provers for which a support is provided in CAISAR:
 * PyRAT
 * [Marabou](https://github.com/NeuralNetworkVerification/Marabou)
 * [nnenum](https://github.com/stanleybak/nnenum)
+* [alpha-beta-CROWN](https://github.com/Verified-Intelligence/alpha-beta-CROWN)
 * [SAVer](https://github.com/abstract-machine-learning/saver)
 
 Moreover, CAISAR supports the [SMT-LIB](https://smtlib.cs.uiowa.edu/) format