Over de functie
Zet je wiskundige expertise in aan de frontlinie van AI. Formaliseer geavanceerde bewijzen in Lean 4, geef vorm aan de toekomst van gemechaniseerde wiskunde — volledig...
Het platform geeft een korte samenvatting. Lees alle eisen in de oorspronkelijke vacature.