From b77d0c7aecd2ed6a2acb13748bdde0c6fc9b88b8 Mon Sep 17 00:00:00 2001 From: Antonio De Lucreziis Date: Fri, 29 Sep 2023 17:44:55 +0200 Subject: [PATCH] updated the readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index dd611cd..7b1b12a 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,10 @@ # Lean Codespace -Questa repo contiene un semplice progetto in Lean che può essere lanciato con un click su GitHub CodeSpace provarlo senza dover installare nulla in locale. +Questa repo contiene un semplice progetto in Lean che può essere lanciato con un click su GitHub CodeSpaces provarlo senza dover installare nulla in locale. ## 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. +GitHub già offre 120h gratuite al mese di utilizzo di CodeSpaces, 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=basicLinux32gb&location=WestEurope)