Proof & Program Mathématiques formelles assistées par l'IA
-
Le 20 Avr. 2026
-
Conférence