activities
1 day ago
2e830c2 latex on intro
2 days ago
fb2f254 don't use fstrings
eaab56e new ad signature + pass re.dotall to include newlines
be8bbc4 update readme: installation + dependecies
...
2 days ago
058f214 c++17
3 days ago
286cda4 small changes related to abstract
8 days ago
3733c6e halp
8 days ago
8ee1f53 teoria
8 days ago
5ea1311 invio donatelli
8 days ago
dd69606 single pdf file
9 days ago
d3775ad latex + makefiles + fixini
9 days ago
b472e6d riduzione + trace_eq
c943cf3 riduzione
9 days ago
02017d7 derivation graph corretti
d8099c6 bisimulazione
9 days ago
31dba96 labeling on derivation graph
9 days ago
46c5264 rotated img
9 days ago
71d824f esercizio analisi, svista
9 days ago
9147d35 host up
22 days ago
0347f90 3.9
22 days ago
2f48ab2 todo
22 days ago
081133b es 3.6
23 days ago
4950a08 analisi .2
24 days ago
cbcafef t e p semiflows?
24 days ago
104036d diagrammi e riduzioni
24 days ago
7117cc6 analisi
25 days ago
6140efd nuovo analisi
25 days ago
13b5a6a reteF
25 days ago
ec0110f reteF quasi
26 days ago
0eac2b8 todo
be67ad2 todo
27 days ago
70f7064 todo file .1
27 days ago
fd33263 reti ABCD
29 days ago
1c6d633 pt vpc .2
on 29 Apr
86fd0c7 pn vpc