#43 Proof By Pointing

[Sebastián Lacuesta]

Este requerimiento permite realizar pruebas basado en el uso del mouse, similar a la funcionalidad en PCoq y ProofGeneral (http://www-sop.inria.fr/croap/ctcoq/help/pbp.html).
Esta idea ha sido concebida en el siguiente artículo:
Proof by Pointing. Yves Bertot, Gilles Kahn, Laurent Théry
LNCS vol 789/1994, pp. 141-160. Springer, 1994
http://www.springerlink.com/content/f0443836661r1x37/