In most textbooks and theoretical papers, proofs are presented in natural language. Although it is impossible to present proofs in pure object language in our daily writing, presenting proofs line by line with clear indication of rule of inference and of source of reasoning in first order logic would be helpful for one's own thinking and for reading and understanding. I found one package named "logicproof", but it is not very flexible when line or even page breaks are needed for long propositions or large proofs. I am wondering if there exists a convenient and powerful latex package for presenting proofs formally.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.