/Master/texmf-dist/doc/latex/temporal-logic/
../
README.md
temporal-logic-doc.pdf