Name Last modified Size Parent Directory - prooftrees.pdf 2024-10-26 11:24 1.1M prooftrees.tex 2024-10-26 11:24 100K prooftrees.sty 2024-10-26 11:24 43K manifest.txt 2024-10-26 11:24 1.1K prooftrees_biber.bib 2024-10-26 11:24 1.1K