GT Pequan
Tutoriel Sollya et PythonSollya
2016-1-18报告人 : 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
更多具体信息 …
marc (at) nullmezzarobba.net