Minor

giopaglia · giopaglia · commit fc623380c142 · 2025-01-08T18:36:46.000+01:00
diff --git a/README.md b/README.md
@@ -120,6 +120,7 @@ The formal foundations of the Sole framework are given in [giopaglia](https://gi
 
 <!-- TODO explain -->
 
+
 ## About
 
 The package is developed by the [ACLAI Lab](https://aclai.unife.it/en/) @ University of Ferrara.
