Hola, quería saber como utilizar estos comandos y qué utilidad tienen. Porque en teórico no me quedaron claros.
Saludos,
Jairo.
Hola.
Te recomiendo leer sobre estos comando, que se usan para visualizar cosas, directamente del manual de Coq. Algunos de estos comandos pueden no funcionar en algún IDE.
Saludos, Carlos
Efectivamente Show Tree no logré hacerlo funcionar en el IDE, lo ejecuto y no hace lo que dice el manual. Show Proof funciona sin problemas. ¿El parcial va a ser en el IDE de windows?
Saludos,
Jairo.
Si, es el de windows.
Saludos