Warn when a claim is proven without taking any steps #1869
Description
The backend should warn when a claim is proven without taking any steps: this indicates that the claim is trivial, usually because the initial configuration is \bottom.
{{ message }}