Séminaire Marelle : Formalisation du lemme de Hensel en Coq

Sorry, this entry is only available in French.