Resultados de la búsqueda a petición "ssreflect"
¿Cómo instalar SSReflect y MathComp en Linux?
He instalado correctamente Coq 8.6 y CoqIDE en Linux (Ubuntu 17.04). Sin embargo, no sé si proceder para agregar SSReflect y MathComp a esta instalación. Todas las referencias que he verificado me parecieron muy confusas. ¿Alguien tiene una ...