Candidatura — Engenheiro Lean, Matemática Formal (Lean 4, Mathlib, Demonstração de Teoremas)

Preenche o formulário abaixo para te candidatares. Vamos rever a tua candidatura e entrar em contacto.