emacs package which makes writing logic in LaTeX and Beamer more comfortable.
Why do you think that https://github.com/dandavison/xenops 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/dandavison/xenops is a good alternative to the-logicians-toolbox