2 ms·

I remark that it's the "several equations -> several equations" that's undecidable this project focuses only on "1 eq -> 1 eq", so it's even more of a gray are

I remark that it's the "several equations -> several equations" that's undecidable this project focuses only on "1 eq -> 1 eq", so it's even more of a gray area