Documentation
Std
Search
Google site search
return to top
source
Imports
Init
Std.CodeAction
Std.Linter
Std.Logic
Std.WF
Std.Classes.BEq
Std.Classes.Cast
Std.Classes.Order
Std.Classes.RatCast
Std.Classes.SatisfiesM
Std.CodeAction.Attr
Std.CodeAction.Basic
Std.CodeAction.Deprecated
Std.CodeAction.Misc
Std.Control.ForInStep
Std.Control.Lemmas
Std.Data.Array
Std.Data.AssocList
Std.Data.BinomialHeap
Std.Data.BitVec
Std.Data.Bool
Std.Data.ByteArray
Std.Data.Char
Std.Data.DList
Std.Data.Fin
Std.Data.HashMap
Std.Data.Int
Std.Data.LazyList
Std.Data.List
Std.Data.MLList
Std.Data.Nat
Std.Data.Option
Std.Data.PairingHeap
Std.Data.RBMap
Std.Data.Range
Std.Data.Rat
Std.Data.String
Std.Data.Sum
Std.Data.UInt
Std.Data.UnionFind
Std.Lean.AttributeExtra
Std.Lean.Delaborator
Std.Lean.Except
Std.Lean.Expr
Std.Lean.Float
Std.Lean.HashMap
Std.Lean.HashSet
Std.Lean.Json
Std.Lean.MonadBacktrack
Std.Lean.Name
Std.Lean.NameMap
Std.Lean.NameMapAttribute
Std.Lean.PersistentHashMap
Std.Lean.PersistentHashSet
Std.Lean.Position
Std.Lean.SMap
Std.Lean.Syntax
Std.Lean.TagAttribute
Std.Linter.UnnecessarySeqFocus
Std.Linter.UnreachableTactic
Std.Tactic.Alias
Std.Tactic.Basic
Std.Tactic.Case
Std.Tactic.Classical
Std.Tactic.Congr
Std.Tactic.Exact
Std.Tactic.FalseOrByContra
Std.Tactic.Init
Std.Tactic.Instances
Std.Tactic.Lint
Std.Tactic.NoMatch
Std.Tactic.OpenPrivate
Std.Tactic.PermuteGoals
Std.Tactic.PrintDependents
Std.Tactic.PrintPrefix
Std.Tactic.SeqFocus
Std.Tactic.SqueezeScope
Std.Tactic.Unreachable
Std.Tactic.Where
Std.Util.Cache
Std.Util.CheckTactic
Std.Util.ExtendedBinder
Std.Util.LibraryNote
Std.Util.Pickle
Std.Util.ProofWanted
Std.Control.ForInStep.Basic
Std.Control.ForInStep.Lemmas
Std.Control.Nondet.Basic
Std.Lean.IO.Process
Std.Lean.Meta.AssertHypotheses
Std.Lean.Meta.Basic
Std.Lean.Meta.Clear
Std.Lean.Meta.DiscrTree
Std.Lean.Meta.Expr
Std.Lean.Meta.Inaccessible
Std.Lean.Meta.InstantiateMVars
Std.Lean.Meta.SavedState
Std.Lean.Meta.Simp
Std.Lean.Meta.UnusedNames
Std.Lean.System.IO
Std.Lean.Util.EnvSearch
Std.Lean.Util.Path
Std.Tactic.Lint.Basic
Std.Tactic.Lint.Frontend
Std.Tactic.Lint.Misc
Std.Tactic.Lint.Simp
Std.Tactic.Lint.TypeClass
Std.Tactic.Relation.Rfl
Std.Test.Internal.DummyLabelAttr
Imported by