{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:ctan/proofs","name":"proofs","description":"The package will build a proof tree for Natural Deduction, Sequent Calculus, etc. The bundle also includes a QED package, for use to put marks at the end of a proof.","license":"https://spdx.org/licenses/Other","keywords":["tree","maths"],"maintainer":[{"@type":"Person","name":null}],"author":[{"@type":"Person","name":null}],"copyrightHolder":[{"@type":"Person","name":null}],"dateModified":"2026-09-18","datePublished":"2026-09-18","downloadUrl":"https://mirrors.ctan.org/macros/generic/proofs/taylor.zip","applicationCategory":"ctan","runtimePlatform":"ctan","sameAs":["https://ctan.org/pkg/proofs"]}