Candidati per Ingegnere Lean, matematica formale (Lean 4, Mathlib, dimostrazione di teoremi) (M/F)

Compila il modulo qui sotto per candidarti. Esamineremo la tua candidatura e ti risponderemo.