Postulación — Ingeniero Lean, Matemáticas Formales (Lean 4, Mathlib, Demostración de Teoremas)

Completa el formulario para postularte. Revisaremos tu postulación y te contactaremos.