Conference Proof & Program - AI-Assisted Formal Mathematics
Conference Proof & Program - AI-Assisted Formal Mathematics
lun., févr. 16, 09:00
4 Pl. Jussieu • Paris
Gratuit
SCAI
34 abonnésQuestions fréquemment posées au sujet de Coulée Verte René-Dumont