#generación de lemas

MathlibLemma: Generación de Lemas Folclóricos y Punto de Referencia para Matemáticas Formales

MathlibLemma: generación automática de lemas folclóricos y punto de referencia en matemáticas formales. Optimiza tu trabajo en formalización.