Semántica y Verificación 2025-2

Repositorio con archivos utilizados durante el laboratorio.

Instalación

El proyecto puede utilizarse en local, o en la nube mediante el servicio de GitHub Codespaces.

Instalación Local

Se recomienda realizar un fork de este repositorio previo a su uso.

git clone [email protected]/<usuario>/syv-20252.git
cd syv-20252
lake exe cache get

GitHub Codespaces

Se recomienda realizar un fork de este repositorio previo a su uso.

• Dirígete al repositorio en GitHub desde tu navegador.
• Da clic en el botón Code (color verde) en la parte superior derecha del repositorio.
• Da clic en Codespaces.
• Da clic en el botón +.