[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[   ]luatruthtable.pdf2023-11-17 10:10 114K 
[TXT]luatruthtable.sty2023-11-17 10:09 5.9K 
[   ]luatruthtable.bib2023-08-15 15:03 341  
[   ]luatruthtable.tex2023-08-15 15:01 14K