Avviso seminario 18/05

Pubblicato il da Manager Didattico. Scadenza .

Il giorno 18/05/2022 alle ore 15:30 si terrà un seminario dal titolo Interactive Theorem Proving using Matita.

Il seminario si svolgerà in modalità mista simultanea. Il link Meet è pubblicato nella scheda del seminario.