../ README.md 29-Aug-2025 19:32 2118 manifest.txt 29-Aug-2025 19:32 1140 prooftrees.pdf 29-Aug-2025 19:32 1172076 prooftrees.sty 29-Aug-2025 19:32 43907 prooftrees.tex 29-Aug-2025 19:32 102404 prooftrees_biber.bib 29-Aug-2025 19:32 1117