../ README.md 27-Jul-2025 19:34 2118 manifest.txt 27-Jul-2025 19:34 1140 prooftrees.pdf 27-Jul-2025 19:34 1172076 prooftrees.sty 27-Jul-2025 19:34 43907 prooftrees.tex 27-Jul-2025 19:34 102404 prooftrees_biber.bib 27-Jul-2025 19:34 1117