Hola, el ejercicio pide:
"Leer el caso de estudio planteado en el capítulo 11 del libro “Interactive Theorem Proving and Program Development (Coq’Art)”, Yves Bertot – Pierre Casterán."
Pero no he podido bajarme el libro, ¿alguien sabe donde se puede conseguir? Porque en la página está en francés y en chino, pero no en inglés.
Saludos,
Jairo.
Hola.
En la biblioteca del INCO-PEDECIBA (piso 5 de FING) está.
Saludos, Carlos
Hola.
Hice una traducción de la versión en francés (solo del capítulo pedido). Ojo que pude contener errores, lean con cuidado. Es un borrador, hay unas partes chicas que no supe traducir o no estoy segura de haber entendido bien (están marcadas con flúor).
Lo comparto por si a alguien le interesa. (Subo también el odt por si alguien quiere mejorar la traducción).
Saludos!
Gracias por el aporte!!!
