diff --git a/Makefile b/Makefile
index 0f3cccb670..06181fc55d 100644
--- a/Makefile
+++ b/Makefile
@@ -6,12 +6,10 @@ ECARGS    ?=
 ECTOUT    ?= 10
 ECJOBS    ?= 0
 ECEXTRA   ?= --report=report.log
-ECPROVERS ?= Alt-Ergo@2.4 Z3@4.12 CVC5@1.0
 CHECKPY   ?=
 CHECK     := $(CHECKPY) scripts/testing/runtest
 CHECK     += --bin=./ec.native
 CHECK     += --jobs="$(ECJOBS)"
-CHECK     += $(foreach prover,$(ECPROVERS),--bin-args=-p --bin-args="$(prover)")
 CHECK     += --bin-args=-timeout --bin-args="$(ECTOUT)"
 CHECK     += $(foreach arg,$(ECARGS),--bin-args="$(arg)")
 CHECK     += $(ECEXTRA) config/tests.config
diff --git a/easycrypt.project b/easycrypt.project
new file mode 100644
index 0000000000..f592382998
--- /dev/null
+++ b/easycrypt.project
@@ -0,0 +1,4 @@
+[general]
+provers = Alt-Ergo@2.4
+provers = CVC5@1.0
+provers = Z3@4.12