mtzguido / verificacion-con-fstar-2024

Repositorio de la optativa para la FCEIA

Verificación de Programas con F*

Para instrucciones sobre como correr F* ver: Ejecutar.md

Para instrucciones sobre como usar la extensión, ver aquí