pesceWanda

Francesco Mecca

Joined on 2020-10-17

activities
29 days ago
pesceWanda pushed to master at pesceWanda/Unito
98217b2 consegna Coppo
29 days ago
pesceWanda pushed to master at pesceWanda/Unito
b739e44 ultimissima dimostrazione
on 26 Jan
pesceWanda pushed to master at pesceWanda/Unito
e6101b1 table of contents e pagina iniziale
on 26 Jan
pesceWanda pushed to master at pesceWanda/Unito
cb47ef1 postposto l'indice
d41dfe9 formattazione
on 26 Jan
pesceWanda pushed to master at pesceWanda/Unito
556694d prima parte source proof
on 26 Jan
pesceWanda pushed to master at pesceWanda/Unito
60f831d decision trees
on 25 Jan
pesceWanda pushed to master at pesceWanda/Unito
86863cc equivalence checking
on 25 Jan
pesceWanda pushed to master at pesceWanda/Unito
af8822b equivalence checking
on 25 Jan
pesceWanda pushed to master at pesceWanda/Unito
2453b29 note gabriel
on 25 Jan
pesceWanda pushed to master at pesceWanda/Unito
ac23a7d inference rules
on 25 Jan
pesceWanda pushed to master at pesceWanda/Unito
bf81806 5.23, 25 jan
on 25 Jan
pesceWanda pushed to master at pesceWanda/Unito
b62cccb referenze e ancora tesi
on 25 Jan
pesceWanda pushed to master at pesceWanda/Unito
5ccf97c 24 jan
on 24 Jan
pesceWanda pushed to master at pesceWanda/Unito
1ea829b piu` dettagli su lambda to decision tree
on 22 Jan
pesceWanda pushed to master at pesceWanda/Unito
f7726be ho ripreso parte 2
on 20 Jan
pesceWanda pushed to master at pesceWanda/Unito
54233ab ho ripreso
on 6 Jan
pesceWanda pushed to master at pesceWanda/Baretto
6320a56 implementazione briscola
on 5 Jan
pesceWanda pushed to master at pesceWanda/Baretto
0a96c50 more stuff
on 5 Jan
pesceWanda pushed to master at pesceWanda/Baretto
3708b17 briscola codice
on 4 Jan
on 4 Jan
on 25 Nov
pesceWanda pushed to master at pesceWanda/gioco
e6345f5 fst
on 24 Nov
pesceWanda pushed to master at pesceWanda/gioco
35ce687 first
on 23 Nov
pesceWanda created branch master at pesceWanda/gioco
on 23 Nov
on 1 Nov
pesceWanda pushed to master at pesceWanda/Curriculum_vitae
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 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 25 Oct
on 19 Oct
pesceWanda pushed to master at pesceWanda/dns_server
75c0626 ,mmm
on 19 Oct
pesceWanda pushed to master at pesceWanda/dns_server
7c98265 prod
on 19 Oct
pesceWanda pushed to master at pesceWanda/dns_server
e475331 test
on 19 Oct
pesceWanda pushed to master at pesceWanda/dns_server
8195de3 prova