Filename | Modification time | Size |
---|---|---|
README | 1590 B | |
manifest.txt | 649 B | |
prooftrees.pdf | 890 KiB | |
prooftrees.sty | 42 KiB | |
prooftrees.tex | 92 KiB | |
prooftrees_biber.bib | 899 B |
Filename | Modification time | Size |
---|---|---|
README | 1590 B | |
manifest.txt | 649 B | |
prooftrees.pdf | 890 KiB | |
prooftrees.sty | 42 KiB | |
prooftrees.tex | 92 KiB | |
prooftrees_biber.bib | 899 B |