Opzioni di iscrizione

Algebra meets Claude meets LEAN 2026-2027 - SCQ2101508 (prof. Jakob Scholbach)

Auto Enrol
Iscrizione spontanea (Studente)
Iscrizione spontanea (Studente)
Gli ospiti non possono entrare in questo corso, per favore autenticati.