Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
luatruthtable.bib 2023-08-15 22:22 341
README.txt 2023-11-18 21:57 1.5K
![[ ]](/icons/compressed.gif){kind=icon}
luatruthtable.tex.gz 2023-08-15 22:22 3.8K
![[ ]](/icons/layout.gif){kind=icon}
luatruthtable.pdf 2023-11-18 21:57 114K