GitHub repository: lambda-style/taller-verano-2024
Primary language: HTML
Description: Repositorio para el taller de Git & GitHub, para el grupo de estudio de Lean.