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