Avvisi

M. Maggesi

Novità per Geometria Computazionale Simbolica

Da quest'anno il corso si concentrerà sulla programmazione con il theorem prover Lean. È disponibile una nuova presentazione del corso: https://bit.ly/4yGgOzI Il corso inizia lunedì 21 settembre.

17.09.2026