mathlib documentation

core.init.meta.set_get_option_tactics