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