Tutoriel Sollya et PythonSollya
الاثني 18 جانفي 2016Christoph 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