Ravi de voir de vieux bons amis travailler sur l'IA vérifiable @gyanlakshmi