Organigramme de la preuve de Stålmarck

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

L'archive des fichiers (Coq v6.2.2)

Le rapport (en français)