ctan.org "proof" keyword
natded 0.1
The package provides commands to typeset proofs in the style used by Jaśkowski, or that of Kalish...1 version - Latest release: 2 days ago - 1 maintainer
seqcalc 1.0
This package provides a structured wrapper around the bussproofspackage. It provides a declarativ...1 version - Latest release: 27 days ago - 1 maintainer
ribbonproofs 1.0
The package provides a way to draw “ribbon proofs” in LaTeX. A ribbon proof is a diagrammatic rep...1 version - Latest release: 2 days ago - 1 maintainer
proof-at-the-end
This package aims to provide a way to easily move proofs to the appendix. You can (among other th...Latest release: 2 days ago - 1 maintainer
prftree 1.6
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.1 version - Latest release: over 6 years ago - 1 maintainer
hideproofs 1.0
This package introduces an alternate proof environment, proof*, which conditionally hides or show...1 version - Latest release: 2 days ago - 1 maintainer
fitch 1.0
The package provides macros for typesetting natural deduction proofs in Fitch style, with subproo...1 version - Latest release: about 2 years ago - 1 maintainer
apxproof 1.2.6
The package makes it easier to write articles where proofs and other material are deferred to the...1 version - Latest release: 5 months ago - 1 maintainer
calculation 1.0
The calculation environment formats reasoned calculations, also called calculational proofs. The ...1 version - Latest release: 2 days ago - 1 maintainer
ebproof 2.1.1
This package provides commands to typeset proof trees in the style of sequent calculus and relate...1 version - Latest release: about 5 years ago - 1 maintainer
bussproofs-extra 0.4
This package provides additional functionality for bussproofs.sty; specifically, it allows for ty...1 version - Latest release: over 6 years ago - 1 maintainer
bussproofs-colorful 1.0
This is a small extension to the bussproofs package that adds color control for proof trees. It a...1 version - Latest release: about 1 month ago - 1 maintainer
bussproofs 1.1
The package allows the construction of proof trees in the style of the sequent calculus and many ...1 version - Latest release: 2 days ago - 1 maintainer