Avviso seminario 18/05

Pubblicato il 11 Maggio 2022 da Manager Didattica. Scadenza 18 Maggio 2022.

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.