Name Last modified Size Parent Directory - luatruthtable.pdf 2023-11-17 18:10 114K luatruthtable.sty 2023-11-17 18:09 5.9K luatruthtable.bib 2023-08-15 22:03 341 luatruthtable.tex 2023-08-15 22:01 14K