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

Create build.yml #6

Closed dominikmaeckel closed 2 weeks ago