LeanCat: Un conjunto de pruebas de referencia para la teoría de categorías formal en Lean (Parte I: 1-Categorías)
LeanCat es un conjunto de pruebas de categorías en Lean, una herramienta práctica y eficaz para mejorar la calidad de tus pruebas y optimizar tu flujo de trabajo en el desarrollo de software.