La irredundancia superior de máximo peso y su formalización en Coq/Ssreflect
Autor/a: SALICHS, Mauricio
Descripción: Formalizamos la definición y resultados del problema de irredundancia superior de máximo peso en el asistente de prueba Coq con la extensión Ssreflect.
Palabras clave: grafos, irredundancia, formalización, coq, ssreflect