Construct your proof using the proof constructor. See here for details. Export using the Pretty Print...

Related Book For  answer-question
Posted Date: