You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
expln
changed the title
An assertion tab fails if the assertion proof contains errors
An assertion tab crashes if the assertion proof contains errors
Dec 15, 2023
Steps to reproduce:
The text was updated successfully, but these errors were encountered: