updated readme

2026-10-06 22:54:53 +00:00 · 2023-09-29 15:49:06 +02:00
parent baf5073b42
commit ee142c7d63
1 changed files with 2 additions and 0 deletions
@@ -10,6 +10,8 @@ GitHub già offre 120h gratuite al mese di utilizzo di CodeSpace, inoltre [Unipi

 **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".

+Per provare che tutto funzioni andare in `./Main.lean` e verificare che si apra il pannello laterale e che mettendo il mouse sopra `#eval` venga mostrata la stringa `Hello, World!`.
+
 ## Siti Utili

 - https://lean-lang.org/theorem_proving_in_lean4/