activities
29 days ago
98217b2 consegna Coppo
29 days ago
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
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 19 Oct
75c0626 ,mmm
on 19 Oct
7c98265 prod
on 19 Oct
e475331 test
on 19 Oct
8195de3 prova