QuickSpec

QuickSpec is a tool that generates and maintains a set of unique terms. It creates bigger terms by combining the unique terms, right? And then checking, you know, if I combine these two, is that equal to some other unique term that I have? And if so, then we have a property, right? You know, this combination is the same as this other combination, right? Then slowly you kind of build up like bigger and bigger terms by comparing all these. This is where, you know,. the laziness of the ECTA's coming, right? So when we're generating all valid type terms, we can actually kind of look at the set ofunique terms that