Suggestions for synproof
The following packages have something in common with the package synproof. The packages are ordered in decreasing similarity.
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc
- turnstile: Typeset the (logic) turnstile notation
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- fitch: LaTeX macros for Fitch-style natural deduction
- temporal-logic: Symbols for Temporal Logics
- numending: Generates morphological end of units
- dvgloss: Facilities for setting interlinear glossed text
- drs: Typeset Discourse Representation Structures (DRS)
- gb4e: Linguistic tools
- textglos: Typeset and index linguistic gloss abbreviations
- overword: Parse text
- leipzig: Typeset and index linguistic gloss abbreviations
- nnext: Extension for the gb4e package
- sdrt: Macros for Segmented Discourse Representation Theory
- covington: LaTeX macros for Linguistics
- arcs: Draw arcs over and under text
- rst: Drawing rhetorical structure analysis diagrams in LaTeX
- interlinear: A package for creating interlinear glossed texts with customizable formatting
- ling-macros: Macros for typesetting formal linguistics
- gender: Gender neutrality for languages with grammatical gender
- engpron: Helps to type the pronunciation of English words
- ecltree: Trees using epic and eepic macros
- eemeir: Adjust the gender of words in a document
- linguex: Format linguists' examples
- qtree: Draw tree structures
- rrgtrees: Linguistic tree diagrams for Role and Reference Grammar (RRG) with LaTeX