Page personnelle de Stéphane Lescuyer: Containers

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Page personnelle de Stéphane Lescuyer: Containers

Containers

Containers est une bibliothèque Coq basée sur les typeclasses, une nouvelle fonctionnalité implémentée par Matthieu Sozeau. Elle se veut une alternative à la bibliothèque d'ensembles et de dictionnaires finis existante FSets/FMaps.

Versions

8.2 (25 Octobre 2009) Télécharger

Voir la documentation .