The next session of the “séminaire Réflexions” will take place on Friday, September 25, in the afternoon, in the conference room at IECL-Nancy. Ghilain Bergeron and Vincent Trélat will lead a hands-on session on math in Lean (1:30–3:30 p.m.), followed by a presentation by our colleague Isabelle Dubois (IECL-Metz) on the use of proof-assisting software in […]