Matteo Manighetti
IRIF, Université Paris Cité, Paris
Je travaille à la formalisation de preuve mathématiques et creation d'outil d'analyse de langage de programmation
- Codage
- LLMs
- Docker
- Shell
- Git
- Langages de programmation
- Institution
- IRIF, Université Paris Cité, Paris
- Langues
- Anglais, Espagnol, Français, Italien