Documentation
Lean
.
Meta
.
Tactic
.
Simp
.
BuiltinSimprocs
Search
Google site search
return to top
source
Imports
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Array
Lean.Meta.Tactic.Simp.BuiltinSimprocs.BitVec
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Char
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Core
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Fin
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Int
Lean.Meta.Tactic.Simp.BuiltinSimprocs.List
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Nat
Lean.Meta.Tactic.Simp.BuiltinSimprocs.String
Lean.Meta.Tactic.Simp.BuiltinSimprocs.UInt
Imported by