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