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