merge

dfirsov · Jan 4, 2023 · 4a99a0f · 4a99a0f
2 parents 28a10c0 4f4e441
commit 4a99a0f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -14,7 14,7 @@ This repository contains the EasyCrypt code associated with the paper "D. Firsov
 
 ## Setup
 * For this project we used the first stable release of EasyCrypt (1.0) theorem prover ([GIT tag r2022.04](https://github.com/EasyCrypt/easycrypt/releases/tag/r2022.04), hash 577c882) 
-* EasyCrypt was configured with support from the following SMT solvers: Why3@1.5.0, [email protected], [email protected], [email protected].1.
 * EasyCrypt was configured with support from the following SMT solvers: Why3@1.4.1, [email protected], [email protected], [email protected].2.
 * To check the development run:
 
  $> cd DEVELOPMENT_FOLDER