How to build a proof tree

This post outlines how to build proof trees visualized in paperproof. paperproof is a Lean theorem proving interface which feels like pen-and-paper proofs. See more github It was also presented a...