LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Liên kết » Các sự kiện tổ chức tại LIP6

GT PequanRSS

Tutoriel Sollya et PythonSollya


18-01-2016
Người thuyết trình : 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
Biết thêm chi tiết
marc (at) nullmezzarobba.net
 Mentions légales
Sơ đồ site |