14.7 Progress messages during proof checking

Prev Up Next Page 478 of 800 Search internet

When the verifier is about to verify the proof of a lemma, the verifier prints the name of the lemma to the terminal. This behavior is achieved by calls to 'print'. The 'print' operator works on the current implementation of the Logiweb abstract machine but needs not work on all implementations.

Prev Up Next Page 478 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05