Hola.
Entiendo que un solo paso no se puede, pero podés consultar el manual:
http://coq.inria.fr/distrib/current/refman/
Saludos, Carlos
Hola.
Entiendo que un solo paso no se puede, pero podés consultar el manual:
http://coq.inria.fr/distrib/current/refman/
Saludos, Carlos