emacs package which makes writing logic in LaTeX and Beamer more comfortable.
Why do you think that https://github.com/emacsmirror/org-ref-prettify is a good alternative to the-logicians-toolbox
emacs package which makes writing logic in LaTeX and Beamer more comfortable.
Why do you think that https://github.com/emacsmirror/org-ref-prettify is a good alternative to the-logicians-toolbox