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