mathlib3
feat(tactic/decl_mk_const): performance improvement for library_search
#967
Merged
Merged
feat(tactic/decl_mk_const): performance improvement for library_search #967
mergify
merged
6 commits into
master
from
decl_mk_const
feat(tactic/decl_mk_const): auxiliary tactic for library_search [WIP]
53b318cb
use decl_mk_const in library_search
ce1826b5
merge
d764fcb4
use decl_mk_const
c6449224
kim-em
changed the title
Merge branch 'master' into decl_mk_const
3b0445e1
move into tactic/basic.lean
695bddcf
cipher1024
approved these changes
on 2019-05-03
Login to write a write a comment.
Login via GitHub