diff --git a/README.md b/README.md index d575529..9cb1bc9 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Eunomia 1.0 +# Eunomia 1.0.1 ## Project Description Eunomia is an educational tool for analyzing the correctness of First Order Logic (FOL) proofs.