Suggestions for synproof

The following packages have something in common with the package synproof. The packages are ordered in decreasing similarity.

• fodot: Helpful commands to work with the FODOT
• lkproof: LK Proof figure macros
• logicproof: Box proofs for propositional and predicate logic
• syllogism: Typeset syllogisms in LaTeX
• temporal-logic: Symbols for Temporal Logics
• gene-logic: Typeset logic formulae, etc.
• logictools: Additional tools for typesetting formal logic
• begriff: Typeset Begriffschrift
• frege: Typeset fregean Begriffsschrift
• grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
• principia: Notations for typesetting the “Principia Mathematica”
• fragoli: Macros for constructing complex semantic derivations
• covington: LaTeX macros for Linguistics
• arcs: Draw arcs over and under text
• dvgloss: Facilities for setting interlinear glossed text
• drs: Typeset Discourse Representation Structures (DRS)
• interlinear: A package for creating interlinear glossed texts with customizable formatting
• leipzig: Typeset and index linguistic gloss abbreviations
• numending: Generates morphological end of units
• nnext: Extension for the gb4e package
• overword: Parse text
• rst: Drawing rhetorical structure analysis diagrams in LaTeX
• sdrt: Macros for Segmented Discourse Representation Theory
• simplex: LaTeX macros for linguistics
• textglos: Typeset and index linguistic gloss abbreviations
• fitch: LaTeX macros for Fitch-style natural deduction
• turnstile: Typeset the (logic) turnstile notation
• ling-macros: Macros for typesetting formal linguistics
• langsci-avm: Feature structures and attribute-value matrices (AVM)
• semtrans: Transliteration of semitic languages
• adtrees: Macros for drawing adpositional trees