Suggestions for synproof

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

• gene-logic: Typeset logic formulae, etc.
• 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
• begriff: Typeset Begriffschrift
• frege: Typeset fregean Begriffsschrift
• grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
• logictools: Additional tools for typesetting formal logic
• principia: Notations for typesetting the “Principia Mathematica”
• nnext: Extension for the gb4e package
• covington: LaTeX macros for Linguistics
• drs: Typeset Discourse Representation Structures (DRS)
• fragoli: Macros for constructing complex semantic derivations
• interlinear: A package for creating interlinear glossed texts with customizable formatting
• leipzig: Typeset and index linguistic gloss abbreviations
• numending: Generates morphological end of units
• overword: Parse text
• rst: Drawing rhetorical structure analysis diagrams in LaTeX
• sdrt: Macros for Segmented Discourse Representation Theory
• textglos: Typeset and index linguistic gloss abbreviations
• dvgloss: Facilities for setting interlinear glossed text
• simplex: LaTeX macros for linguistics
• fitch: LaTeX macros for Fitch-style natural deduction
• turnstile: Typeset the (logic) turnstile notation
• ling-macros: Macros for typesetting formal linguistics
• semtrans: Transliteration of semitic languages
• langnames: Name languages and their genetic affiliations consistently
• muling: MA Thesis class for the Department of Linguistics, University of Mumbai
• ot-tableau: Optimality Theory tableaux in LaTeX