Orateur
Patrick Massot
(Université Paris-Saclay)
Description
En prévision d'une éventuelle introduction à LEAN pendant les Journées X-UPS 2026, Patrick Massot présentera rapidement l'assistant de preuve LEAN et expliquera les nécessités d'organisation pour ces Journées. Une discussion suivra sur la possibilité effective de réaliser cette thématique.
