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í