IA pour les sciences

Introduction aux méthodes modernes d'IA pour les sciences

Prouver des théorèmes avec un ordinateur : une introduction à LEAN