Re: Practico 3 - Ejercicio 8.6 de Carlos Luna - martes, 15 de septiembre de 2015, 12:19 Número de respuestas: 0 El tipo bool de Coq. Enlace permanente Mostrar mensaje anterior Responder
