Organigramme de la preuve de Stålmarck

(Stage de Pierre Letouzey, projet CROAP, INRIA Sophia Antipolis, été 98)

Une version plus récente de ce travail se trouve here
(A more recent version of this work cound be found here)

L'archive des fichiers (Coq v6.2.2)

Le rapport (en français)

Last modified: 9/10/98