ocupación
Científicos de datos
descripción
Collaborate on mathematical research in natural language, formulate and challenge lemmas, run bounded Lean proof attempts, preserve research dossiers and transfer reproducible evidence. Includes general Std proof projects and concrete LRC witnesses.
Idioma del texto original: inglés
actualizado