Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-13 19:36 627b4317

View on Github →

feat(tactic/find_unused): find the dead code in a module (#3701)

Estimated changes

added def main_thing
added def this_is_unused
added def my_list
added def other_val
added def some_val
added def unused1
added inductive unused_type