Avec le code ETE2025, bénéficiez de 15% de réduction sur l'ensemble de nos formations à la LSF.

Choisissez votre formation en cliquant sur ce bandeau !

Prouver par A + B (v.)

prouver formellement, dans un cadre mathématique.