Journée « bibliothèques » du 11 décembre 2008
10h30-12h30
13h30-17h
- Assia Mahboubi: sur les bibliothèques de composants mathématiques, avec une démo (cf aussi la bibliothèque de groupes au format coqdoc)
- Pierre Letouzey: la bibliothèque « Numbers »
- Sylvie Boldo et Guillaume Melquiond: remarques sur la bibliothèque des réels de Coq