`^` bug

Open kidherofun opened this issue 2 months ago • 0 comments

Litex Code:

claim:
    forall x R:
        2 ^ 8 = 4 ^ x
        =>:
            x = 4
    prove:
        2 ^ 8 = (2 ^ 2) ^ 4 = 4 ^ 4 = 4 ^ x
        4 = x

Error:

4 = x is unknown :( line 8

Oct 23 '25 07:10 kidherofun