Suggestions for truthtable
The following packages have something in common with the package truthtable. The packages are ordered in decreasing similarity.
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- 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
- luamathalign: More flexible alignment in amsmath environments
- luasseq: Drawing spectral sequences in LuaLaTeX
- luacas: A computer algebra system for users of LuaLaTeX
- luamaths: Provide standard mathematical operations inside LaTeX documents using Lua
- luaset: Set Operations inside LaTeX documents using Lua
- luagcd: Computation of gcd of integers inside LaTeX using Lua
- luanumint: Numerical integration using Lua inside LaTeX documents
- lualinalg: A linear algebra package for LuaLaTeX
- luamml: Automatically generate MathML from LuaLaTeX math mode material
- sympycalc: Work with SymPy and PyLuaTeX
- innerscript: Small modifications to math formatting
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- lualatex-math: Fixes for mathematics-related LuaLaTeX issues
- japanese-mathformulas: Compiling basic math formulas in Japanese using LuaLaTeX
- luacomplex: Operations on complex numbers inside LaTeX documents using Lua
- longmath: Nested delimiter groups extending over multiple array cells or lines
- tango: A LaTeX document class for math teachers
- synproof: Easy drawing of syntactic proofs
- temporal-logic: Symbols for Temporal Logics
- minim-math: Extensive maths for LuaTeX
- tkz-elements: A Lua library for drawing Euclidean geometry with TikZ or tkz-euclide