5 - svariati WS per CAS e TP
8 - application centric no client/server
9 ==>> proof assistants come WS client
14 - attori (client, broker, tutor)
15 - ruoli e funzionalita' di ognuno di essi (breve)
16 - mapping con gli attori di monet
18 3.1) codifica dello stato e dei suggerimenti
19 - oss: l'architettura e' generica non dipenda da una particolare codifica di
21 - interfaccia verso il broker
26 - interfaccia verso i client (registrazione, sottoscrizione, state change,
28 - interfaccia verso i tutor (registrazione, suggerimento, deregistrazione)
30 - cosa puo' implementare un tutor
31 - nessuna assunzione sulla correttezza del suggerimento
32 - interfaccia verso il broker (start/stop musing)
40 - (1-1) con le tattiche del proof assistant
41 - generazione automatica
43 6) Conclusioni e sviluppi futuri
44 - success story (gTopLevel)
47 - scelta troppo larga per i neofiti
49 - utile per power user (distribuzione)
50 - utili per newbie (apprendimento)
53 - rating dei risultati
54 - risposte negative (disabilitare tattiche)