File tree Expand file tree Collapse file tree 1 file changed +12
-12
lines changed Expand file tree Collapse file tree 1 file changed +12
-12
lines changed Original file line number Diff line number Diff line change 66
66
localStorage . setItem ( 'alertDismissed' , 'true' ) ;
67
67
} ) ;
68
68
</ script >
69
- < div class ="container " id ="about ">
70
- < div >
71
- LTLTutor is built and maintained by the < a href ="https://cs.brown.edu/research/plt/ "> PLT Group at
72
- Brown University</ a >
69
+ < div class ="container d-flex justify-content-center align-items-center " id ="about ">
70
+ < div class ="mx-3 ">
71
+ < a href ="https://blog.brownplt.org/2024/08/08/ltltutor.html " target ="_blank " rel ="noopener "> [Blog Post]</ a >
73
72
</ div >
74
-
75
- < div >
76
- Learn More:
77
- < a href ="https://blog.brownplt.org/2024/08/08/ltltutor.html "> [Blog Post] </ a > ,
78
- < a href ="https://cs.brown.edu/~sk/Publications/Papers/Published/pgnk-ltl-tutor/paper.pdf "> [CAV 2025 Paper] </ a >
73
+ < div class ="mx-3 ">
74
+ < a href ="https://cs.brown.edu/~sk/Publications/Papers/Published/pgnk-ltl-tutor/paper.pdf " target ="_blank " rel ="noopener "> [CAV 2025 Paper]</ a >
79
75
</ div >
80
-
81
- < a href ="https://github.com/brownplt/LTLTutor " target ="_blank ">
82
- < img src ="https://img.icons8.com/fluent/48/000000/github.png " alt ="GitHub icon " />
76
+ < a class ="mx-3 " href ="https://cs.brown.edu/research/plt/ " target ="_blank " rel ="noopener ">
77
+ < img src ="https://blog.brownplt.org/img/brownplt.png " alt ="Brown PLT logo "
78
+ style ="height: 48px; width: 48px; vertical-align: middle; ">
79
+ </ a >
80
+ < a class ="mx-3 " href ="https://github.com/brownplt/LTLTutor " target ="_blank " rel ="noopener ">
81
+ < img src ="https://img.icons8.com/fluent/48/000000/github.png " alt ="GitHub icon "
82
+ style ="height: 48px; width: 48px; vertical-align: middle; ">
83
83
</ a >
84
84
</ div >
85
85
</ footer >
You can’t perform that action at this time.
0 commit comments