Suggestions for seqcalc
The following packages have something in common with the package seqcalc. The packages are ordered in decreasing similarity.
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- proof-at-the-end: A package to move proofs to appendix
- apxproof: Proofs in appendix
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- bussproofs-extra: Extra commands for bussproofs.sty
- calculation: Typesetting reasoned calculations, also called calculational proofs
- bussproofs-colorful: Color extension for the bussproofs package
- bussproofs: Proof trees in the style of the sequent calculus
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- prftree: Macros for building proof trees
- proof: Shell based proofing for TeX-related files
- was: A collection of small packages by Walter Schmidt
- foilhtml: Interface between foiltex and LaTeX2HTML
- mapcodes: Support for multiple character sets and encodings
- psnfssx: Extra styles and encodings for PostScript fonts
- bpchem: Typeset chemical names, formulae, etc.
- ltxmisc: Miscellaneous LaTeX packages, etc.
- papertex: Class for newspapers, etc.
- osa: Macros for Optical Society of America Journals, etc.
- digiconfigs: Writing “configurations”
- ekaia: Article format for publishing the Basque Country Science and Technology Journal “Ekaia”
- hep: A “convenience wrapper” for High Energy Physics packages
- philosophersimprint: Typesetting articles for “Philosophers' Imprint”
- overrightarrow: Doubled “over” arrow
- preprint: A bundle of packages provided “as is”
- sepnum: Print numbers in a “friendly” format
- aurl: Extends the hyperref package with a mechanism for hyperlinked URLs abbreviated with prefixes
- econometrics: Defines some commands that simplify mathematic notation in economic and econometric writing
- cje: LaTeX document class for CJE articles