try

The try tactical executes a provided tactic, catching any errors and always succeeding.

Syntax

(* Simple usage *)
try reflexivity.

Examples

Before

-------------------------
1/1
1 = 2

try reflexivity.

After

-------------------------
1/1
1 = 2

Resources

Reference Documentation

---