ocupação
Cientistas de dados
descrição
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 do texto original: inglês
atualizado