Laboratoire d’informatique Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein

GT Pequan

Tutoriel Sollya et PythonSollya

Lundi 18 janvier 2016
Christoph Lauter et Marc Mezzarobba (Pequan)

Démonstration des fonctionnalités de Sollya et de l'interface PythonSollya.

http://sollya.gforge.inria.fr/ https://scm.gforge.inria.fr/anonscm/git/metalibm/pythonsollya.git

Plus d'informations ici …
marc (at) nullmezzarobba.net