Hello, I was wondering why is the le function in Question 1, composed of !leq(b,a) and leq(a,b), and not just !leq(b,a), why is there an and with leq(a,b), since we want a<b?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information