Note: this guide assumes you are using pandoc. If you are not, then the instructions will still apply, up until the last step.
Go to https://www.ctan.org/tex-archive/macros/latex/contrib/logicproof and
download the package as a .zip
file and extract into your working directory.
Enter the directory you just extracted and run latex logicproof.ins
to
generate the latexproof.sty
file.