Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
README.md 2023-09-16 17:06 1.1K
res/ 2023-09-16 17:06 -
truthtable.pdf 2023-09-16 17:06 146K
truthtable.sty 2023-09-16 17:06 4.7K
truthtable.tex 2023-09-16 17:06 13K