Search is too slow
Opened this issue · 0 comments
expln commented
On the Editor tab, try to find assertions matching the pattern ( A + ( B + C ) ) = ( ( A + B ) + C ). Assertions are found but it takes a lot of time to finish the search.
Opened this issue · 0 comments
On the Editor tab, try to find assertions matching the pattern ( A + ( B + C ) ) = ( ( A + B ) + C ). Assertions are found but it takes a lot of time to finish the search.