06 May Jacky Pourquoi Lean n'est pas le seul assistant de preuve : histoire et alternatives Lire la suite