diff --git a/README.md b/README.md
index 399cc85..d526766 100644
--- a/README.md
+++ b/README.md
@@ -4,5 +4,5 @@ Progetto ricavato dalla repo: <https://github.com/leanprover/lean4-samples>
 
 ## GitHub Pro con Unipi
 
-[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://github.com/codespaces/new?hide_repo_select=true&ref=main&repo=452801263&machine=standardLinux32gb&location=WestEurope)
+[![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)