Home |
Source |
The try
tactical executes a provided tactic, catching any errors and always succeeding.
(* Simple usage *)
try reflexivity.
Before
-------------------------
1/1
1 = 2
try reflexivity.
After
-------------------------
1/1
1 = 2