Lezione 8

[LucaCorra02]

No description provided.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit dcf4c7f.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 37d3970.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit d73aa1e.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit e1e83b6.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit fec7183.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 79f52cf.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 793c6f9.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 73c981f.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 70f4d9b.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 005a018.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit bec3aec.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit ebf2244.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit d9c8333.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 96abdea.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 5138145.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 1becaa5.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 634c266.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[LucaCorra02]

@LucaCorra02 Sistemare PDF e aggiungere ultimo esempio

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 506952f.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.

[Favo02]

La PR #11 potrebbe rompere delle macro. Per maggiori dettagli leggere di là.

In ogni caso, per fixare:

find ./ -type f -name "*.typ" -exec sed -i \
  -e 's/#teorema(\"Teorema\")/#theorem/g' \
  -e 's/#teorema(\"/#theorem(title: \"/g' \
  -e 's/#esempio/#example/g' \
  -e 's/#informalmente/#informally/g' \
  -e 's/#nota/#note/g' \
  -e 's/#attenzione/#warning/g' \
  -e 's/#dimostrazione/#proof/g' \
  -e 's/#link-teorema/#link-theorem/g' \
  {} +

[LucaCorra02]

@LucaCorra02 Rileggere

[github-actions]

📄 Anteprima PDF disponibile

L'ultima compilazione è stata eseguita sul commit 9da8d40.

📥 Per scaricare il PDF:

1. Apri il workflow run
2. Vai alla sezione Artifacts
3. Scarica pr-8-preview

L'artifact resta disponibile per 30 giorni.