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