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