Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - luatruthtable.tex 2023-08-15 14:01 14K luatruthtable.bib 2023-08-15 14:03 341 README.txt 2023-11-17 09:07 1.5K luatruthtable.sty 2023-11-17 09:09 5.9K luatruthtable.pdf 2023-11-17 09:10 114K