Buenas, tengo un par de dudas:
1) Cómo hago para probar que true <> false es verdadero? Lo puedo agregar como axioma?
2) No me queda claro como implementar la función reverse, me pueden dar alguna ayuda?
3) Se puede usar la táctica simpl?
Saludos
Hola Joaquín.
1) true <> false se puede probar fácilmente. Acordate que está la táctica discriminate.
2) una idea es usar el concat para ir poniendo los elementos al final de la lista resultado (como listas unitarias).
3) Si.
Saludos, Carlos