Ici sont les fichiers de la version v0.1 de la bibliothéque CoqEAL. Ce sont avec ces fichiers que sont compilès les dèveloppements sur la forme normale de Jordan et sur Perron-Frobenius. Ma contribution à cette bibliothéque est en partie le fichier mxstructure.