aziis98
/
lean-codespace
mirror of https://github.com/aziis98/lean-codespace
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

updated the readme

Browse Source
main
Antonio De Lucreziis 1 year ago committed by GitHub
parent 707e708805
commit b77d0c7aec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File

4
README.md
Unescape Escape View File

@ -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)

Write Preview
Loading…
Cancel
Save