import Lake
open System Lake DSL

package sym_simp_attr
@[default_target] lean_lib SymSimpAttr