Abstract
Nous présentons un essai de mécanisation de concepts mathématiques et informatiques sans le Calcul de Constructions. Tous les exemples présentés ont été vérifiés par machine.
Users
Please
log in to take part in the discussion (add own reviews or comments).