Suggestions for truthtable
The following packages have something in common with the package truthtable. The packages are ordered in decreasing similarity.
- Package luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- Package gene-logic: Typeset logic formulae, etc.
- Package begriff: Typeset Begriffschrift
- Package frege: Typeset fregean Begriffsschrift
- Package grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- Package logictools: Additional tools for typesetting formal logic
- Package fitch: LaTeX macros for Fitch-style natural deduction
- Package turnstile: Typeset the (logic) turnstile notation
- Package innerscript: Small modifications to math formatting
- Package luasseq: Drawing spectral sequences in LuaLaTeX
- Package luacas: A computer algebra system for users of LuaLaTeX
- Package luagcd: Computation of gcd of integers inside LaTeX using Lua
- Package lualinalg: A linear algebra package for LuaLaTeX
- Package luanumint: Numerical integration using Lua inside LaTeX documents
- Package luamaths: Provide standard mathematical operations inside LaTeX documents using Lua
- Package luahyperbolic: Hyperbolic geometry in the Poincaré disk model
- Package luaset: Set Operations inside LaTeX documents using Lua
- Package sympycalc: Work with SymPy and PyLuaTeX
- Package luamathaccents: Use Unicode combining accents in math input with LuaLaTeX
- Package gfnotation: Typeset Gottlob Frege’s notation in plain TeX
- Package logicproof: Box proofs for propositional and predicate logic
- Package syllogism: Typeset syllogisms in LaTeX
- Package fodot: Helpful commands to work with the FODOT
- Package temporal-logic: Symbols for Temporal Logics
- Package japanese-mathformulas: Compiling basic math formulas in Japanese using LuaLaTeX
- Package lualatex-math: Fixes for mathematics-related LuaLaTeX issues
- Package luamathalign: More flexible alignment in amsmath environments
- Package luacomplex: Operations on complex numbers inside LaTeX documents using Lua
- Package luamml: Automatically generate MathML from LuaLaTeX math mode material
- Package tango: A LaTeX document class for math teachers
- Package synproof: Easy drawing of syntactic proofs