Suggestions for LKproof

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

Package turnstile: Typeset the (logic) turnstile notation
Package fitch: LaTeX macros for Fitch-style natural deduction
Package gene-logic: Typeset logic formulae, etc.
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 upgreek: Upright Greek letters
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 synproof: Easy drawing of syntactic proofs
Package principia: Notations for typesetting the Principia Mathematica
Package prooftrees: Forest-based proof trees (symbolic logic)
Package babel-esperanto: Babel support for Esperanto
Package slashed: Put a slash through characters
Package dotlessj: Generates a dot-less j
Package siunitx: A comprehensive (SI) units package
Package chemarr: Arrows for chemists
Package centernot: Centred \not command
Package amsrefs: A LaTeX-based replacement for BibTeX
Package eqnlines: Single- and multiline equations
Package acronym: Expand acronyms at least once
Package appendix: Extra control of appendices
Package algorithmicx: The algorithmic style you always wanted
Package algorithms: A suite of tools for typesetting algorithms in pseudo-code
Package bxcoloremoji: Use color emojis more conveniently
Package boxedminipage: Framed minipages of a specified total width (text and frame combined)
Package chemarrow: Arrows for use in chemistry
Package changepage: Margin adjustment and detection of odd/even pages