Mathlib v3 is deprecated. Go to Mathlib v4

Def try

Modification history

2018-08-13 03:05

category/basic.lean

fix(category/basic): change "try" to "mtry"

Deleted try View on Github →

2018-08-13 02:53

category/basic.lean

fix(category/basic): fix build

Modified try View on Github →

2018-08-13 02:46

category/basic.lean

refactor(tactic/interactive): minor cleanup, change `ext` notation

Added try View on Github →