University of Applied Sciences Fulda Computer Science Department

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[TXT]manifest.txt2025-09-04 06:36 2.2K
[ ]prooftrees-code.pdf2025-09-04 06:36 1.2M
[ ]prooftrees-doc.pdf2025-09-04 06:36 1.1M
[ ]prooftrees.dtx2025-09-04 06:36 203K
[ ]prooftrees.ins2025-09-04 06:36 2.4K
[TXT]prooftrees_biber.bib2025-09-04 06:36 1.1K
[TXT]README.md2025-09-04 06:36 2.4K