Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - prooftrees_biber.bib 2024-10-26 04:24 1.1K manifest.txt 2024-10-26 04:24 1.1K README.md 2024-10-26 04:24 2.1K prooftrees.sty 2024-10-26 04:24 43K prooftrees.tex 2024-10-26 04:24 100K prooftrees.pdf 2024-10-26 04:24 1.1M