Mathlib v3 is deprecated. Go to Mathlib v4

Def foo_instance

Modification history

2020-05-02 09:41
test/lint.lean
fix(data/int/basic): use has_coe_t to prevent looping (#2573) …
Deleted foo_instanceView on Github →
2020-03-07 02:22
test/lint.lean
feat(lint): add two new linters (#2089) …
Added foo_instanceView on Github →