proofs – Macros for build­ing proof trees

The pack­age will build a proof tree for Nat­u­ral De­duc­tion, Se­quent Cal­cu­lus, etc. The bun­dle also in­cludes a QED pack­age, for use to put marks at the end of a proof.