activities
26 days ago
f4626a9 accenti
26 days ago
196404f presentazione ita
1f0702e presentazione ita
27 days ago
7ca5e43 altra revisione
28 days ago
dc59fe2 lunga ma tutto
28 days ago
e272079 checkpoint
29 days ago
f923a92 inviato bozza
29 days ago
2f0a210 presentazione, inizio lavori
on 12 Apr
c33d326 upload 13/04
381a202 dichiarazione originalita`
on 26 Mar
b096898 mandato bozza ai relatori
on 20 Mar
1dc25ed extended abstract
on 20 Mar
66ca9be pre abstract
a801e53 nella speranza che la dimostrazione sia abbastanza giusta
on 18 Mar
6f8139e thank you senpai Coppo
on 18 Mar
3f7a114 parte correzioni
on 5 Mar
03736bc nuova mail
on 5 Mar
889f209 prima della riscrittura dei remarks
on 4 Mar
2e64ef2 forza e coraggio
on 4 Mar
0b4b1ec correctness statement
on 3 Mar
25c24f6 more tesi
on 2 Mar
af4efb2 forza!
on 1 Mar
12c9f5d readme
on 1 Mar
on 1 Mar
on 27 Jan
98217b2 consegna Coppo
on 27 Jan
b739e44 ultimissima dimostrazione
on 26 Jan
e6101b1 table of contents e pagina iniziale
on 26 Jan
cb47ef1 postposto l'indice
d41dfe9 formattazione
on 26 Jan
556694d prima parte source proof
on 26 Jan
60f831d decision trees
on 25 Jan
86863cc equivalence checking
on 25 Jan
af8822b equivalence checking
on 25 Jan
2453b29 note gabriel
on 25 Jan
ac23a7d inference rules
on 25 Jan
bf81806 5.23, 25 jan
on 25 Jan
b62cccb referenze e ancora tesi
on 25 Jan
5ccf97c 24 jan
on 24 Jan
1ea829b piu` dettagli su lambda to decision tree
on 22 Jan
f7726be ho ripreso parte 2
on 20 Jan
54233ab ho ripreso
on 6 Jan
6320a56 implementazione briscola
on 5 Jan
0a96c50 more stuff
on 5 Jan
3708b17 briscola codice
on 4 Jan
on 4 Jan
on 25 Nov
e6345f5 fst
on 24 Nov
35ce687 first
on 23 Nov
pesceWanda created branch master at pesceWanda/gioco
on 23 Nov
on 1 Nov
b641e96 symmetry
on 25 Oct
pesceWanda created branch master at pesceWanda/Unito
on 25 Oct