|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.
|Page 478 of 800||Search logiweb.eu|