issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add support for open intervals
#11
tillschallau
opened
2 hours ago
0
Typo on page 5
#10
tillschallau
closed
1 hour ago
1
Update main.yml
#9
dominikmaeckel
closed
2 weeks ago
0
Update main.yml
#8
dominikmaeckel
closed
2 weeks ago
0
Update main.yml
#7
dominikmaeckel
closed
2 weeks ago
0
Create build.yml
#6
dominikmaeckel
closed
2 weeks ago
0
Remove expl3 requirement
#5
dominikmaeckel
closed
2 months ago
0
Add amsmath as requirement
#4
dominikmaeckel
closed
2 months ago
0
Fix baseline of min/max prevalence operators
#3
tillschallau
closed
2 months ago
1
Fix width of eventually
#2
tillschallau
closed
2 months ago
0
Bind and prevalence operators are not horizontally centered
#1
tillschallau
closed
5 months ago
0