7 Jul
2016
7 Jul
'16
2:13 p.m.
On Thu, Jul 7, 2016 at 1:59 PM, Ayrat <ayrat.khalimov(a)iaik.tugraz.at> wrote:
hi there,
smth is wrong with online translator for LTL3BA -- see message below.
Thanks for amazing web-page!
Dear Ayat,
Thank you for the report. Do you remember what formula you translated?
(I tried a few formulas without being able to reproduce the error.)