Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view | Publicación