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