search

tudo-aqua / temporal-logic-latex-package

Latex package for temporal logic operators
LaTeX Project Public License v1.3c
1 stars 0 forks source link

Update main.yml #8

Closed dominikmaeckel closed 2 weeks ago