knuckledragger
kdrag
kdrag.all
kdrag.config
kdrag.kernel
kdrag.notation
kdrag.smt
kdrag.solvers
kdrag.tactics
kdrag.tactics.lemma
kdrag.tactics.simp
simp()
kdrag.theories
kdrag.utils
knuckledragger
kdrag
kdrag.tactics
kdrag.tactics.simp
View page source
kdrag.tactics.simp
kdrag.tactics.
simp
(
t
:
ExprRef
,
by
:
list
[
None
]
=
[]
,
**
kwargs
)
→
None