updated the readme

README.md

@@ -1,8 +1,19 @@
 # Lean Codespace
 
-Progetto ricavato dalla repo: <https://github.com/leanprover/lean4-samples>
+Questa repo contiene un semplice progetto in Lean con preimpostato un ambiente GitHub CodeSpace per poterlo usare senza dover installare nulla in locale.
 
-## GitHub Pro con Unipi
+## GitHub / GitHub Pro con Unipi
+
+GitHub già offre 120h gratuite al mese di utilizzo di CodeSpace, inoltre [Unipi con GitHub Pro](https://www.dm.unipi.it/github-pro/) ci fa arrivare a 180h gratuite di utilizzo al mese.  
 
 [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://github.com/codespaces/new?skip_quickstart=true&hide_repo_select=true&ref=main&repo=698191991&machine=standardLinux32gb&location=WestEurope)
 
+**Attenzione!** Per non sprecare subito tutte le ore di utilizzo quando si ha finito di utilizzare il CodeSpace ricordarsi di spegnerlo dalla pagina <https://github.com/codespaces>, dalla lista di CodeSpaces se c'è scritto ancora "Active" premere sui tre puntini e fare "Stop Container".
+
+## Siti Utili
+
+- https://lean-lang.org/theorem_proving_in_lean4/
+
+- https://lean-lang.org/lean4/doc/
+
+- Progetto ricavato dalla repo: <https://github.com/leanprover/lean4-samples>