% lake exe cache get  
info: [1/9] Building Cache.IO
info: [2/9] Compiling Cache.IO
info: [2/9] Building Cache.Hashing
info: [3/9] Compiling Cache.Hashing
info: [3/9] Building Cache.Requests
info: [5/9] Compiling Cache.Requests
info: [5/9] Building Cache.Main
info: [7/9] Compiling Cache.Main
info: [9/9] Linking cache
info: stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
leantar is too old; downloading more recent version
Attempting to download 3763 file(s)
Downloaded: 3763 file(s) [attempted 3763/3763 = 100%] (100% success)
Decompressing 3763 file(s)
unpacked in 4870 ms

% lake build
Downloading LeanInfer/v0.0.6/arm64-macOS-64.tar.gz
[5/85] Compiling Std.Lean.TagAttribute
[7/100] Compiling Std.Lean.Position
[7/155] Compiling Std.Lean.Command
[7/185] Compiling Std.Tactic.OpenPrivate
[7/188] Compiling Std.Tactic.Unreachable
[7/188] Compiling Std.Util.TermUnsafe
[7/188] Compiling Std.Tactic.RCases
[11/196] Compiling Std.Tactic.ByCases
[13/278] Compiling Std.Tactic.SeqFocus
[14/1384] Compiling Std.Lean.Name
[20/1384] Compiling Std.Lean.Parser
[20/1384] Compiling Std.Lean.Meta.Basic
[22/1384] Compiling Std.Lean.Tactic
[27/1384] Compiling Std.Lean.NameMapAttribute
[32/1384] Compiling Std.Data.List.Init.Lemmas
[33/1384] Compiling Std.Data.Ord
[35/1384] Compiling Std.Classes.Dvd
[35/1384] Compiling Std.Control.ForInStep.Basic
[36/1384] Compiling Std.Util.ExtendedBinder
[37/1384] Compiling Std.Data.Option.Init.Lemmas
[38/1384] Compiling Std.Tactic.HaveI
[39/1384] Compiling Std.Lean.Meta.Expr
[40/1384] Compiling Std.Lean.PersistentHashMap
[41/1384] Compiling Std.Classes.BEq
[42/1384] Compiling Std.Lean.Meta.LCtx
[44/1384] Linking Std.Lean.TagAttribute
[45/1384] Linking Std.Tactic.Unreachable
[46/1384] Compiling Std.Lean.AttributeExtra
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[49/1384] Linking Std.Lean.Position
[49/1384] Linking Std.Lean.Name
[50/1384] Linking Std.Util.TermUnsafe
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[50/1384] Linking Std.Lean.Command
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[51/1384] Compiling Std.Tactic.NoMatch
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[51/1384] Compiling Std.Lean.Format
[55/1384] Linking Std.Lean.Parser
[56/1384] Linking Std.Lean.Tactic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[56/1384] Linking Std.Tactic.SeqFocus
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[84/1384] Compiling Std.Tactic.GuardExpr
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[122/1384] Linking Std.Lean.NameMapAttribute
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[122/1384] Linking Std.Data.Ord
[123/1384] Linking Std.Control.ForInStep.Basic
[123/1384] Linking Std.Tactic.ByCases
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[124/1384] Linking Std.Classes.Dvd
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[124/1384] Linking Std.Data.List.Init.Lemmas
[124/1384] Linking Std.Data.Option.Init.Lemmas
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[124/1384] Linking Std.Lean.Meta.Expr
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[125/1384] Compiling Std.WF
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[125/1384] Compiling Std.Lean.Delaborator
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[125/1384] Compiling Std.Util.LibraryNote
[127/1384] Compiling Std.Lean.InfoTree
[128/1384] Compiling Std.Data.DList
[129/1384] Compiling Std.Data.MLList.Basic
[130/1384] Compiling Std.Lean.CoreM
[131/1384] Compiling Std.Data.Prod.Lex
[132/1384] Compiling Std.Lean.Expr
[134/1384] Compiling Std.Lean.HashSet
[134/1384] Compiling Std.Lean.HashMap
[135/1384] Compiling Std.Lean.Meta.Inaccessible
[136/1384] Compiling Std.Lean.MonadBacktrack
[137/1384] Compiling Std.Lean.PersistentHashSet
[139/1384] Compiling Std.Lean.Util.Path
[139/1384] Compiling Std.Tactic.Instances
[140/1384] Compiling Std.Tactic.Replace
[141/1384] Compiling Qq.ForLean.ReduceEval
[142/1384] Compiling Std.Tactic.Where
[143/1384] Compiling Qq.ForLean.ToExpr
[144/1384] Compiling Qq.Typ
[145/1384] Compiling Aesop.Nanos
[146/1384] Compiling Aesop.Options.Public
[147/1384] Compiling Aesop.Check
[148/1384] Compiling Aesop.Percent
[149/1384] Compiling Aesop.Frontend.ElabM
[150/1384] Compiling Std.Tactic.Exact
[151/1384] Compiling Qq.SortLocalDecls
[155/1384] Compiling Qq.ForLean.Do
[155/1384] Compiling Std.Linter.UnreachableTactic
[155/1384] Linking Std.Classes.BEq
[157/1384] Linking Std.Lean.Meta.LCtx
[157/1384] Compiling Mathlib.Tactic.Explode.Datatypes
[158/1384] Compiling Mathlib.Tactic.TypeCheck
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[158/1384] Compiling Mathlib.Tactic.SudoSetOption
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[158/1384] Compiling Mathlib.Tactic.Set
[159/1384] Compiling Mathlib.Util.WithWeakNamespace
[160/1384] Compiling Mathlib.Tactic.Rename
[161/1384] Compiling Mathlib.Lean.Meta.Basic
[162/1384] Compiling Mathlib.Util.Syntax
[163/1384] Compiling Mathlib.Tactic.PrintPrefix
[164/1384] Compiling Mathlib.Tactic.InferParam
[165/1384] Compiling Mathlib.Tactic.NthRewrite
[166/1384] Compiling Mathlib.Tactic.GuardHypNums
[167/1384] Compiling Mathlib.Tactic.GuardGoalNums
[168/1384] Compiling Mathlib.Tactic.FailIfNoProgress
[169/1384] Compiling Mathlib.Tactic.Constructor
[170/1384] Compiling Mathlib.Tactic.ClearExcept
[171/1384] Compiling Mathlib.Tactic.Clear_
[172/1384] Compiling Mathlib.Tactic.Clear!
[173/1384] Compiling Mathlib.Util.AssertExists
[174/1384] Compiling Mathlib.Tactic.Classical
[175/1384] Compiling Mathlib.Tactic.CasesM
[176/1384] Compiling Mathlib.Tactic.SimpRw
[177/1384] Compiling Mathlib.Tactic.Substs
[178/1384] Compiling Mathlib.Tactic.Spread
[179/1384] Compiling Mathlib.Tactic.Coe
[180/1384] Compiling Mathlib.Tactic.LeftRight
[182/1384] Compiling Mathlib.Lean.EnvExtension
[183/1384] Compiling Mathlib.Tactic.LabelAttr
[184/1384] Compiling Mathlib.Util.MemoFix
[185/1384] Compiling Mathlib.Lean.Linter
[186/1384] Compiling Mathlib.Data.KVMap
[187/1384] Compiling Mathlib.Lean.Message
[188/1384] Compiling Mathlib.Init.Data.Nat.Notation
[189/1384] Compiling Mathlib.Data.Array.Defs
[190/1384] Compiling Mathlib.Mathport.Attributes
[192/1384] Compiling Mathlib.Mathport.Rename
[201/1384] Compiling Std.Data.Char
[202/1384] Linking Std.Lean.PersistentHashMap
[219/1384] Linking Std.Tactic.OpenPrivate
[222/1384] Linking Std.Lean.AttributeExtra
[223/1384] Compiling Std.CodeAction.Attr
[223/1384] Compiling Std.Lean.Meta.AssertHypotheses
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[223/1384] Compiling Std.Lean.Meta.Clear
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[223/1384] Compiling Std.Lean.Meta.InstantiateMVars
[224/1384] Compiling Std.Util.Pickle
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[224/1384] Compiling Mathlib.Tactic.PPWithUniv
[225/1384] Compiling Mathlib.Lean.Meta.Simp
[227/1384] Compiling Mathlib.Tactic.RunCmd
[227/1384] Linking Std.Tactic.HaveI
[228/1384] Compiling Mathlib.Tactic.ProjectionNotation
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[228/1384] Compiling Mathlib.Tactic.Recover
[229/1384] Compiling Mathlib.Tactic.SimpIntro
[230/1384] Compiling Mathlib.Tactic.SuccessIfFailWithMsg
[231/1384] Compiling Mathlib.Tactic.Trace
[232/1384] Compiling Mathlib.Tactic.ApplyWith
[238/1384] Compiling Std.Tactic.Lint.Basic
[239/1384] Linking Std.Util.ExtendedBinder
[240/1384] Linking Std.Tactic.GuardExpr
[241/1384] Linking Std.Lean.Meta.Basic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[246/1384] Compiling Std.Control.ForInStep.Lemmas
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[246/1384] Compiling Std.Data.Int.Basic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[246/1384] Compiling Std.Data.Nat.Basic
[247/1384] Compiling Std.Classes.SetNotation
[248/1384] Compiling Mathlib.Tactic.HaveI
[250/1384] Linking Std.Linter.UnreachableTactic
[251/1384] Compiling Mathlib.Util.WhatsNew
[258/1384] Linking Std.Tactic.NoMatch
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[258/1384] Linking Std.Lean.Format
[268/1384] Linking Std.Control.ForInStep.Lemmas
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[270/1384] Compiling Std.Linter.UnnecessarySeqFocus
[273/1384] Compiling Std.Tactic.PrintDependents
[274/1384] Compiling Std.Tactic.CoeExt
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[274/1384] Compiling Mathlib.Data.MLList.Basic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[275/1384] Compiling Mathlib.Tactic.ExtractGoal
[276/1384] Compiling Std.Lean.Meta.SavedState
[282/1384] Compiling Aesop.Constants
[284/1384] Linking Std.Data.Nat.Basic
[284/1384] Compiling Mathlib.Tactic.Explode.Pretty
[285/1384] Compiling Mathlib.Tactic.ScopedNS
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[285/1384] Compiling Mathlib.Tactic.Monotonicity.Attr
[286/1384] Compiling Mathlib.Tactic.Attr.Register
[287/1384] Compiling Mathlib.Tactic.UnsetOption
[288/1384] Compiling Mathlib.Tactic.Have
[290/1384] Compiling Mathlib.Init.Data.Fin.Basic
[291/1384] Compiling Std.Tactic.Simpa
[292/1384] Compiling Std.Data.Array.Init.Basic
[293/1384] Compiling Std.Tactic.TryThis
[297/1384] Compiling Mathlib.Init.Control.Combinators
[298/1384] Compiling Mathlib.Init.Quot
[299/1384] Compiling Mathlib.Init.Data.Ordering.Basic
[300/1384] Compiling Mathlib.Init.Data.Nat.Div
[301/1384] Compiling Mathlib.Init.Data.Bool.Basic
[307/1384] Compiling Std.Data.MLList.Heartbeats
[309/1384] Compiling Aesop.Options.Internal
[311/1384] Compiling Std.CodeAction.Basic
[311/1384] Compiling Mathlib.Util.CompileInductive
[313/1384] Linking Std.Tactic.Lint.Basic
[314/1384] Compiling Std.Tactic.Lint.Frontend
[315/1384] Linking Std.Tactic.RCases
[317/1384] Compiling Mathlib.Tactic.ToLevel
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[317/1384] Linking Std.Classes.SetNotation
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[319/1384] Compiling Std.Control.ForInStep
[319/1384] Compiling Qq.Macro
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[321/1384] Compiling Mathlib.Tactic.Conv
[324/1384] Linking Std.Data.Array.Init.Basic
[325/1384] Linking Std.Linter.UnnecessarySeqFocus
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[325/1384] Compiling Mathlib.Init.Set
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[334/1384] Compiling Std.Linter
[336/1384] Compiling Std.Tactic.NormCast.Ext
[341/1384] Compiling Std.Tactic.Lint.Simp
Unpacking LeanInfer/v0.0.6/arm64-macOS-64.tar.gz
[342/1384] Compiling Aesop.Util.EqualUpToIds
[343/1384] Linking Std.Data.Char
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[343/1384] Compiling Mathlib.Tactic.Explode
[344/1384] Compiling Mathlib.Tactic.HigherOrder
[345/1384] Compiling Mathlib.Tactic.Replace
[346/1384] Compiling Std.Classes.Order
[348/1384] Compiling Mathlib.Util.CountHeartbeats
[349/1384] Compiling Std.Tactic.SimpTrace
[350/1384] Compiling Mathlib.Tactic.Variable
[351/1384] Compiling Std.Tactic.ShowTerm
[356/1384] Compiling Std.Classes.Cast
[358/1384] Compiling Std.CodeAction.Misc
[359/1384] Linking Std.Tactic.TryThis
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[359/1384] Compiling Std.Data.Array.Basic
[360/1384] Linking Std.Linter
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[360/1384] Compiling Mathlib.Tactic.TryThis
[361/1384] Compiling Mathlib.Tactic.DeriveToExpr
[366/1384] Linking Std.Tactic.Simpa
[369/1384] Compiling Aesop.Options
[370/1384] Compiling Qq.Delab
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[370/1384] Compiling Std.Tactic.GuardMsgs
[371/1384] Compiling Std.CodeAction.Deprecated
[375/1384] Linking Std.Tactic.ShowTerm
[376/1384] Linking Std.Tactic.SimpTrace
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[376/1384] Compiling Mathlib.Tactic.ApplyCongr
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[376/1384] Compiling Std.Tactic.NormCast.Lemmas
[378/1384] Linking Std.Data.Array.Basic
[381/1384] Compiling Std.Tactic.SqueezeScope
[385/1384] Compiling Std.CodeAction
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[385/1384] Compiling Std.Tactic.Lint.Misc
[386/1384] Compiling Std.Tactic.Lint.TypeClass
[391/1384] Compiling Qq.MetaM
[392/1384] Compiling Std.Tactic.Alias
[394/1384] Compiling Mathlib.Tactic.ToExpr
[395/1384] Compiling Mathlib.Tactic.NormCast.Tactic
[396/1384] Linking libleanffi.dylib
[398/1384] Compiling Qq.AssertInstancesCommute
[401/1384] Compiling Mathlib.Tactic.FBinop
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[401/1384] Compiling Mathlib.Tactic.NormCast
[405/1384] Compiling Qq.Match
[406/1384] Compiling Std.Tactic.Basic
[407/1384] Compiling Std.Tactic.Lint
[409/1384] Compiling Mathlib.Data.SProd
[412/1384] Compiling Mathlib.Tactic.GCongr.ForwardAttr
[413/1384] Compiling Mathlib.Tactic.Lint
[416/1384] Compiling Qq
[417/1384] Compiling Std.Logic
[420/1384] Compiling Mathlib.Data.Nondet.Basic
[420/1384] Linking Std.Tactic.Lint.Misc
[421/1384] Linking Std.Tactic.Basic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[429/1384] Compiling Mathlib.Util.Qq
[430/1384] Compiling Std.Data.PairingHeap
[431/1384] Compiling Mathlib.Tactic.Use
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[431/1384] Compiling Std.Data.Sum.Basic
[432/1384] Compiling Mathlib.Tactic.Attr.Core
[433/1384] Compiling Std.Data.Nat.Init.Lemmas
[434/1384] Compiling Std.Classes.LawfulMonad
[437/1384] Compiling Std.Data.RBMap.Basic
[439/1384] Compiling Std.Data.Fin.Basic
[443/1384] Compiling Std.Data.RBMap.WF
[444/1384] Compiling Std.Data.Nat.Lemmas
[445/1384] Compiling Std.Data.Option.Basic
[447/1384] Compiling Std.Data.Array.Init.Lemmas
[452/1384] Compiling Std.Data.RBMap
[453/1384] Compiling Std.Data.RBMap.Alter
[454/1384] Compiling Std.Data.BinomialHeap.Basic
[455/1384] Compiling Std.Data.Nat.Gcd
[458/1384] Linking Std.Logic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[459/1384] Compiling Std.Data.Array.Merge
[459/1384] Compiling Std.Data.List.Basic
[461/1384] Linking Std.Data.Nat.Init.Lemmas
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[461/1384] Linking Std.Classes.LawfulMonad
[465/1384] Compiling Mathlib.Lean.Data.NameMap
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[465/1384] Compiling Std.Data.BinomialHeap.Lemmas
[468/1384] Compiling Std.Data.Int.Lemmas
[474/1384] Compiling Aesop.Util.UnorderedArraySet
[475/1384] Compiling Mathlib.Init.Data.List.Basic
[476/1384] Compiling Mathlib.Control.Basic
[477/1384] Compiling Mathlib.Lean.Expr.Basic
[478/1384] Compiling Std.Data.AssocList
[479/1384] Linking Std.Data.Option.Basic
[480/1384] Linking Std.Data.Array.Init.Lemmas
[483/1384] Compiling Mathlib.Tactic.PermuteGoals
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[483/1384] Compiling Mathlib.Data.String.Defs
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[483/1384] Linking Std.Data.Nat.Lemmas
[487/1384] Compiling Std.Data.BinomialHeap
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[490/1384] Compiling Std.Data.Int.DivMod
[492/1384] Compiling Std.Lean.Meta.DiscrTree
[497/1384] Compiling Mathlib.Tactic.Cases
[498/1384] Compiling Mathlib.Tactic.HelpCmd
[499/1384] Compiling Mathlib.Tactic.GeneralizeProofs
[500/1384] Compiling Mathlib.Util.Tactic
[501/1384] Compiling Mathlib.Lean.Expr.Traverse
[502/1384] Linking Std.Data.Array.Merge
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[504/1384] Compiling Mathlib.Util.Imports
[507/1384] Compiling Mathlib.Tactic.Simps.NotationClass
[508/1384] Compiling Std.Data.HashMap.Basic
[510/1384] Compiling Std.Tactic.Ext.Attr
[514/1384] Compiling Mathlib.Tactic.SwapVar
[515/1384] Compiling Mathlib.Tactic.RenameBVar
[516/1384] Compiling Mathlib.Lean.Meta.DiscrTree
[518/1384] Linking Std.Lean.Meta.DiscrTree
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[519/1384] Compiling Mathlib.Lean.Expr.ReplaceRec
[521/1384] Compiling Std.Tactic.Ext
[524/1384] Compiling Mathlib.Tactic.Cache
[525/1384] Compiling Std.Data.Option.Lemmas
[527/1384] Compiling Mathlib.Lean.Expr
[531/1384] Compiling Std.Data.Rat.Basic
[532/1384] Compiling Std.Data.Sum.Lemmas
[533/1384] Compiling Std.Tactic.Congr
[535/1384] Compiling Mathlib.Tactic.Find
[538/1384] Compiling Std.Data.Fin.Lemmas
[539/1384] Compiling Mathlib.Tactic.Core
[544/1384] Compiling Mathlib.Tactic.Eqns
[546/1384] Compiling Std.Classes.RatCast
[547/1384] Linking Std.Data.List.Basic
[548/1384] Compiling Std.Data.Sum
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[549/1384] Compiling Std.Data.Rat.Lemmas
[550/1384] Compiling Std.Data.List.Lemmas
[552/1384] Compiling Mathlib.Mathport.Notation
[555/1384] Compiling Mathlib.Tactic.WLOG
[556/1384] Compiling Mathlib.Tactic.SplitIfs
[557/1384] Linking Std.Tactic.Ext.Attr
[562/1384] Compiling Std.Data.Rat
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[562/1384] Compiling Std.Data.List.Count
[563/1384] Compiling Std.Data.RBMap.Lemmas
[564/1384] Compiling Std.Data.Range.Lemmas
[566/1384] Linking Std.Data.Option.Lemmas
[568/1384] Compiling Std.Data.Array.Lemmas
[571/1384] Compiling Mathlib.Data.Rat.Init
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[571/1384] Compiling Mathlib.Lean.Meta
[574/1384] Compiling Std.Data.Array.Match
[581/1384] Compiling Std.Data.HashMap.WF
[582/1384] Compiling Mathlib.Tactic.Backtrack
[583/1384] Compiling Mathlib.Lean.Meta.CongrTheorems
[584/1384] Compiling Mathlib.Lean.Elab.Tactic.Basic
[585/1384] Compiling Mathlib.Tactic.Relation.Symm
[586/1384] Compiling Mathlib.Tactic.Relation.Rfl
[587/1384] Linking Std.Tactic.Ext
[589/1384] Compiling Std.Data.String.Basic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[592/1384] Compiling Std.Data.HashMap
[593/1384] Compiling Mathlib.Tactic.Relation.Trans
[594/1384] Building LeanInfer.Frontend
[595/1384] Linking Std.Data.List.Lemmas
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[601/1384] Compiling Mathlib.Tactic.SolveByElim
[601/1384] Compiling Mathlib.Tactic.Congr!
[603/1384] Compiling Mathlib.Data.MLList.Dedup
[604/1384] Compiling Aesop.Util.UnionFind
[605/1384] Compiling Mathlib.Init.Core
[608/1384] Compiling Std.Data.String.Lemmas
[609/1384] Compiling Mathlib.Tactic.Says
[610/1384] Linking Std.Data.Array.Lemmas
[613/1384] Compiling Mathlib.Tactic.Simps.Basic
[614/1384] Compiling Mathlib.Tactic.Convert
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[618/1384] Compiling Mathlib.Tactic.Propose
[619/1384] Compiling Mathlib.Tactic.LibrarySearch
[620/1384] Compiling Std.Data.String
[621/1384] Linking Std.Data.Array.Match
[623/1384] Compiling Mathlib.Tactic.ToAdditive
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[626/1384] Compiling Aesop.Util.Basic
[627/1384] Compiling Std.Lean.Meta.UnusedNames
[628/1384] Linking Std.Data.String.Basic
[630/1384] Compiling Mathlib.Tactic.Observe
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[632/1384] Compiling Mathlib.Tactic.Rewrites
[639/1384] Compiling Mathlib.Init.ZeroOne
[640/1384] Compiling Aesop.Util.Tactic
[641/1384] Compiling Aesop.Rule.Name
[642/1384] Compiling Aesop.Tracing
[643/1384] Compiling Aesop.Index.Basic
[644/1384] Linking LeanInfer.Frontend
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[645/1384] Building LeanInfer.Basic
[647/1384] Compiling Mathlib.Init.Data.Int.Basic
[650/1384] Compiling Mathlib.Init.Data.Nat.Basic
[651/1384] Compiling Aesop.Index
[653/1384] Compiling Aesop.Script
[655/1384] Compiling Aesop.RuleTac.Basic
[662/1384] Compiling Aesop.Rule.Basic
[664/1384] Compiling Aesop.RuleTac.Tactic
[664/1384] Compiling Aesop.RuleTac.RuleApplicationWithMVarInfo
[665/1384] Compiling Aesop.RuleTac.Preprocess
[666/1384] Compiling Aesop.RuleTac.Apply
[667/1384] Compiling Aesop.RuleTac.Cases
[669/1384] Compiling Aesop.RuleTac.Forward
[671/1384] Compiling Aesop.Rule
[673/1384] Compiling Aesop.Builder.Basic
[675/1384] Compiling Aesop.Tree.UnsafeQueue
[677/1384] Compiling Aesop.RuleTac
[683/1384] Compiling Aesop.Builder.Unfold
[684/1384] Compiling Aesop.Builder.Forward
[685/1384] Compiling Aesop.Builder.Tactic
[686/1384] Compiling Aesop.Builder.NormSimp
[687/1384] Compiling Aesop.Builder.Apply
[690/1384] Compiling Aesop.Tree.Data
[691/1384] Compiling Aesop.Builder.Cases
[693/1384] Compiling Aesop.Builder.Constructors
[696/1384] Compiling Aesop.Tree.RunMetaM
[697/1384] Compiling Aesop.Tree.Traversal
[699/1384] Compiling Aesop.Profiling
[702/1384] Compiling Aesop.Tree.TreeM
[703/1384] Compiling Aesop.Tree.State
[706/1384] Compiling Aesop.Tree.Tracing
[707/1384] Compiling Aesop.Builder.Default
[711/1384] Compiling Aesop.Tree.AddRapp
[712/1384] Compiling Aesop.Tree.ExtractScript
[713/1384] Compiling Aesop.Tree.Free
[716/1384] Compiling Aesop.Tree.ExtractProof
[717/1384] Compiling Aesop.Tree.Check
[719/1384] Compiling Aesop.Builder
[721/1384] Compiling Aesop.RuleSet
[725/1384] Compiling Aesop.Frontend.RuleExpr
[726/1384] Compiling Aesop.Search.Expansion.Simp.Basic
[727/1384] Compiling Aesop.Frontend.Extension.Init
[729/1384] Compiling Aesop.Tree
[733/1384] Compiling Aesop.Search.Expansion.Simp.SimpGoal
[734/1384] Compiling Aesop.Search.Expansion.Simp.SimpAll
[735/1384] Compiling Aesop.Frontend.Extension
[737/1384] Compiling Aesop.Search.Queue.Class
[740/1384] Compiling Aesop.Search.Expansion.Simp
[741/1384] Compiling Aesop.Frontend.Attribute
[743/1384] Compiling Aesop.Search.Queue
[745/1384] Compiling Aesop.Search.SearchM
[747/1384] Compiling Aesop.Frontend.Command
[750/1384] Compiling Aesop.Search.RuleSelection
[751/1384] Compiling Aesop.Search.Expansion.Basic
[754/1384] Compiling Aesop.Frontend.Tactic
[755/1384] Compiling Aesop.Frontend
[757/1384] Compiling Aesop.Search.Expansion.Norm
[764/1384] Compiling Aesop.BuiltinRules.Subst
[765/1384] Compiling Aesop.BuiltinRules.Split
[766/1384] Compiling Aesop.BuiltinRules.Intros
[767/1384] Compiling Aesop.BuiltinRules.DestructProducts
[768/1384] Compiling Aesop.BuiltinRules.ApplyHyps
[769/1384] Compiling Aesop.BuiltinRules.Assumption
[771/1384] Compiling Aesop.Search.Expansion
[775/1384] Compiling Aesop.Search.ExpandSafePrefix
[775/1384] Compiling Aesop.BuiltinRules
[777/1384] Compiling Aesop.Search.Main
[779/1384] Compiling Aesop.Main
[781/1384] Compiling Aesop
[783/1384] Compiling Std
[785/1384] Compiling Mathlib.Tactic.Basic
[792/1384] Compiling Mathlib.Tactic.ExtractLets
[793/1384] Compiling Mathlib.Algebra.Abs
[794/1384] Compiling Mathlib.Tactic.RSuffices
[795/1384] Compiling Mathlib.Tactic.Existsi
[796/1384] Compiling Mathlib.Tactic.DefEqTransformations
[797/1384] Compiling Mathlib.Tactic.Inhabit
[800/1384] Compiling Mathlib.Tactic.MkIffOfInductiveProp
[801/1384] Compiling Mathlib.Control.Functor
[803/1384] Compiling Mathlib.Init.Logic
[808/1384] Compiling Mathlib.Init.CCLemmas
[809/1384] Compiling Mathlib.Init.Data.Sigma.Basic
[810/1384] Compiling Mathlib.Init.Data.Quot
[811/1384] Compiling Mathlib.Init.Algebra.Classes
[814/1384] Compiling Mathlib.Init.Data.Bool.Lemmas
[815/1384] Compiling Mathlib.Init.Propext
[817/1384] Compiling Mathlib.Init.Function
[819/1384] Compiling Mathlib.Data.Option.Defs
[822/1384] Compiling Mathlib.Logic.Nontrivial.Defs
[823/1384] Compiling Mathlib.Init.Order.Defs
[825/1384] Compiling Mathlib.Init.Order.LinearOrder
[828/1384] Compiling Mathlib.Init.Data.Int.Order
[830/1384] Compiling Mathlib.Logic.Basic
[831/1384] Compiling Mathlib.Tactic.GCongr.Core
[834/1384] Compiling Mathlib.Init.Data.Nat.Lemmas
[835/1384] Compiling Mathlib.Tactic.Lift
[839/1384] Compiling Mathlib.Logic.Nonempty
[840/1384] Compiling Mathlib.Data.Prod.PProd
[841/1384] Compiling Mathlib.Logic.Relator
[844/1384] Compiling Mathlib.Tactic.Tauto
[845/1384] Compiling Mathlib.Tactic.TermCongr
[848/1384] Compiling Mathlib.Tactic.PushNeg
[849/1384] Compiling Mathlib.Algebra.NeZero
[851/1384] Compiling Mathlib.Init.Data.List.Lemmas
[854/1384] Compiling Mathlib.Data.Quot
[855/1384] Compiling Mathlib.Data.Bool.Basic
[858/1384] Compiling Mathlib.Logic.Function.Basic
[859/1384] Compiling Mathlib.Tactic.Congrm
[862/1384] Compiling Mathlib.Tactic.ByContra
[863/1384] Compiling Mathlib.Tactic.Contrapose
[865/1384] Compiling Mathlib.Init.Data.List.Instances
[872/1384] Compiling Mathlib.Data.Sigma.Basic
[872/1384] Compiling Mathlib.Tactic.Choose
[873/1384] Compiling Mathlib.Data.Sum.Basic
[874/1384] Compiling Mathlib.Data.Subtype
[875/1384] Compiling Mathlib.Logic.IsEmpty
[880/1384] Compiling Mathlib.Algebra.Group.Defs
[880/1384] Compiling Mathlib.Data.Prod.Basic
[881/1384] Compiling Mathlib.Logic.Function.Conjugate
[884/1384] Compiling Mathlib.Logic.Relation
[885/1384] Compiling Mathlib.Data.FunLike.Basic
[888/1384] Compiling Mathlib.Init.Data.Nat.Bitwise
[889/1384] Compiling Mathlib.Tactic.IrreducibleDef
[892/1384] Compiling Mathlib.Algebra.Invertible.Defs
[893/1384] Compiling Mathlib.Logic.Function.Iterate
[899/1384] Compiling Mathlib.Control.Applicative
[900/1384] Compiling Mathlib.Algebra.Group.Semiconj.Defs
[901/1384] Compiling Mathlib.Algebra.GroupWithZero.Defs
[902/1384] Compiling Mathlib.Data.Nat.Cast.Defs
[903/1384] Compiling Mathlib.Data.FunLike.Embedding
[908/1384] Compiling Mathlib.Algebra.Group.Basic
[908/1384] Compiling Mathlib.Data.Option.Basic
[909/1384] Compiling Mathlib.Logic.Unique
[915/1384] Compiling Mathlib.Algebra.Group.Commute.Defs
[915/1384] Compiling Mathlib.Data.Int.Cast.Defs
[916/1384] Compiling Mathlib.Data.FunLike.Equiv
[917/1384] Compiling Mathlib.Init.Classical
[924/1384] Compiling Mathlib.Algebra.Hom.Group.Defs
[925/1384] Compiling Mathlib.Algebra.GroupWithZero.NeZero
[926/1384] Compiling Mathlib.Data.Nat.Cast.NeZero
[927/1384] Compiling Mathlib.Data.Option.NAry
[928/1384] Compiling Mathlib.Logic.Nontrivial.Basic
[929/1384] Compiling Mathlib.Order.Basic
[932/1384] Compiling Mathlib.Data.Pi.Algebra
[936/1384] Compiling Mathlib.Algebra.Invertible.GroupWithZero
[937/1384] Compiling Mathlib.Data.Int.Cast.Basic
[938/1384] Compiling Mathlib.Order.RelClasses
[939/1384] Compiling Mathlib.Order.ULift
[945/1384] Compiling Mathlib.Algebra.Divisibility.Basic
[947/1384] Compiling Mathlib.Algebra.Ring.Defs
[947/1384] Compiling Mathlib.Algebra.CharZero.Defs
[948/1384] Compiling Mathlib.Tactic.Nontriviality.Core
[949/1384] Compiling Mathlib.Algebra.Order.ZeroLEOne
[952/1384] Compiling Mathlib.Algebra.Hom.Group.Basic
[954/1384] Compiling Mathlib.Algebra.Group.InjSurj
[955/1384] Compiling Mathlib.Data.List.Lex
[958/1384] Compiling Mathlib.Algebra.Ring.Semiconj
[959/1384] Compiling Mathlib.Tactic.Nontriviality
[964/1384] Compiling Mathlib.Logic.Equiv.Defs
[965/1384] Compiling Mathlib.Algebra.Field.Defs
[965/1384] Compiling Mathlib.Data.Nat.Basic
[967/1384] Compiling Mathlib.Algebra.GroupWithZero.InjSurj
[969/1384] Compiling Mathlib.Algebra.Group.Units
[971/1384] Compiling Mathlib.Data.Nat.Bits
[973/1384] Compiling Mathlib.Control.EquivFunctor
[979/1384] Compiling Mathlib.Algebra.Opposites
[981/1384] Compiling Mathlib.Order.Synonym
[981/1384] Compiling Mathlib.Algebra.Divisibility.Units
[982/1384] Compiling Mathlib.Algebra.Hom.Units
[983/1384] Compiling Mathlib.Algebra.Group.Semiconj.Units
[985/1384] Compiling Mathlib.Tactic.NormNum.Result
[988/1384] Compiling Mathlib.Logic.Equiv.Basic
[993/1384] Compiling Mathlib.Data.List.Defs
[996/1384] Compiling Mathlib.Algebra.Ring.Basic
[996/1384] Compiling Mathlib.Algebra.Group.OrderSynonym
[997/1384] Compiling Mathlib.Order.Compare
[998/1384] Compiling Mathlib.Order.Max
[999/1384] Compiling Mathlib.Algebra.Group.Commute.Units
[1007/1384] Compiling Mathlib.Tactic.NormNum.Core
[1007/1384] Compiling Mathlib.Algebra.Ring.InjSurj
[1008/1384] Compiling Mathlib.Data.ULift
[1009/1384] Compiling Mathlib.Logic.Embedding.Basic
[1010/1384] Compiling Mathlib.Data.Finite.Defs
[1012/1384] Compiling Mathlib.Logic.Equiv.Option
[1014/1384] Compiling Mathlib.Algebra.GroupWithZero.Basic
[1017/1384] Compiling Mathlib.Algebra.Hom.Equiv.Basic
[1018/1384] Compiling Mathlib.Control.Traversable.Basic
[1019/1384] Compiling Mathlib.Algebra.Hom.Ring.Defs
[1023/1384] Compiling Mathlib.Algebra.Hom.Embedding
[1024/1384] Compiling Mathlib.Algebra.Group.TypeTags
[1025/1384] Compiling Mathlib.Order.Monotone.Basic
[1028/1384] Compiling Mathlib.Algebra.Ring.Units
[1029/1384] Compiling Mathlib.Order.RelIso.Basic
[1031/1384] Compiling Mathlib.Algebra.GroupWithZero.Divisibility
[1034/1384] Compiling Mathlib.Algebra.Ring.Divisibility
[1035/1384] Compiling Mathlib.Algebra.Hom.Equiv.Units.Basic
[1040/1384] Compiling Mathlib.Algebra.GroupPower.Basic
[1040/1384] Compiling Mathlib.Data.Int.Basic
[1041/1384] Compiling Mathlib.Algebra.CovariantAndContravariant
[1043/1384] Compiling Mathlib.Data.Nat.Cast.Basic
[1047/1384] Compiling Mathlib.Algebra.Ring.Commute
[1048/1384] Compiling Mathlib.Algebra.GroupWithZero.Units.Basic
[1049/1384] Compiling Mathlib.Order.Lattice
[1051/1384] Compiling Mathlib.GroupTheory.GroupAction.Defs
[1053/1384] Compiling Mathlib.Algebra.Order.Ring.Lemmas
[1057/1384] Compiling Mathlib.Algebra.Hom.Equiv.Units.GroupWithZero
[1058/1384] Compiling Mathlib.Algebra.Hom.GroupInstances
[1059/1384] Compiling Mathlib.Order.MinMax
[1064/1384] Compiling Mathlib.Algebra.GroupWithZero.Semiconj
[1064/1384] Compiling Mathlib.GroupTheory.GroupAction.Units
[1065/1384] Compiling Mathlib.Order.BoundedOrder
[1067/1384] Compiling Mathlib.Algebra.Order.Monoid.Lemmas
[1070/1384] Compiling Mathlib.Order.Disjoint
[1072/1384] Compiling Mathlib.Algebra.GroupWithZero.Commute
[1074/1384] Compiling Mathlib.Order.WithBot
[1075/1384] Compiling Mathlib.Algebra.Order.Monoid.MinMax
[1078/1384] Compiling Mathlib.Algebra.Order.Sub.Defs
[1079/1384] Compiling Mathlib.Algebra.Order.Monoid.Defs
[1081/1384] Compiling Mathlib.Algebra.Order.Monoid.NatCast
[1083/1384] Compiling Mathlib.Order.PropInstances
[1089/1384] Compiling Mathlib.Data.Nat.Cast.Commute
[1090/1384] Compiling Mathlib.Algebra.Group.WithOne.Defs
[1090/1384] Compiling Mathlib.Algebra.Order.Monoid.Canonical.Defs
[1092/1384] Compiling Mathlib.Algebra.Order.Monoid.Cancel.Defs
[1093/1384] Compiling Mathlib.Order.Hom.Basic
[1097/1384] Compiling Mathlib.Order.Heyting.Basic
[1097/1384] Compiling Mathlib.Algebra.GroupWithZero.Units.Lemmas
[1101/1384] Compiling Mathlib.Algebra.Order.Monoid.OrderDual
[1102/1384] Compiling Mathlib.Algebra.Order.Monoid.Basic
[1103/1384] Compiling Mathlib.Tactic.ApplyFun
[1107/1384] Compiling Mathlib.Algebra.Order.Monoid.TypeTags
[1108/1384] Compiling Mathlib.Algebra.Order.Sub.Canonical
[1111/1384] Compiling Mathlib.Order.Hom.Bounded
[1113/1384] Compiling Mathlib.Algebra.Order.Monoid.WithZero.Defs
[1115/1384] Compiling Mathlib.Algebra.Order.Group.Defs
[1116/1384] Compiling Mathlib.Order.BooleanAlgebra
[1117/1384] Compiling Mathlib.Algebra.Order.Monoid.Units
[1119/1384] Compiling Mathlib.Algebra.Invertible.Basic
[1121/1384] Compiling Mathlib.Algebra.Field.Basic
[1127/1384] Compiling Mathlib.Algebra.Order.Monoid.WithZero.Basic
[1127/1384] Compiling Mathlib.Algebra.Order.Group.Instances
[1128/1384] Compiling Mathlib.Algebra.Order.Group.OrderIso
[1129/1384] Compiling Mathlib.Order.SymmDiff
[1131/1384] Compiling Mathlib.Algebra.Order.Group.Units
[1133/1384] Compiling Mathlib.Tactic.NormNum.Basic
[1135/1384] Compiling Mathlib.Order.Hom.Lattice
[1137/1384] Compiling Mathlib.Algebra.Order.Group.Abs
[1140/1384] Compiling Mathlib.Algebra.Order.Monoid.WithTop
[1141/1384] Compiling Mathlib.Data.Set.Basic
[1144/1384] Compiling Mathlib.Algebra.Order.WithZero
[1145/1384] Compiling Mathlib.Algebra.Order.Ring.Defs
[1147/1384] Compiling Mathlib.Data.Set.Image
[1150/1384] Compiling Mathlib.Algebra.Order.Field.Defs
[1151/1384] Compiling Mathlib.Algebra.Order.Ring.CharZero
[1159/1384] Compiling Mathlib.Algebra.Hom.Ring.Basic
[1159/1384] Compiling Mathlib.Logic.Embedding.Set
[1160/1384] Compiling Mathlib.Data.Bool.Set
[1161/1384] Compiling Mathlib.Data.Set.Sigma
[1162/1384] Compiling Mathlib.Order.WellFounded
[1165/1384] Compiling Mathlib.Data.Nat.Set
[1167/1384] Compiling Mathlib.Algebra.Order.Ring.Abs
[1168/1384] Compiling Mathlib.Algebra.Order.Ring.Canonical
[1169/1384] Compiling Mathlib.Data.Set.Prod
[1173/1384] Compiling Mathlib.Tactic.Common
[1174/1384] Compiling Mathlib.Order.Directed
[1175/1384] Compiling Mathlib.Data.Int.Order.Basic
[1178/1384] Compiling Mathlib.Data.Set.Intervals.Basic
[1179/1384] Compiling Mathlib.Data.Set.NAry
[1182/1384] Compiling Mathlib.Logic.Pairwise
[1184/1384] Compiling Mathlib.Data.Set.Function
[1187/1384] Compiling Mathlib.Data.Nat.Order.Basic
[1190/1384] Compiling Mathlib.Data.Nat.Cast.Order
[1191/1384] Compiling Mathlib.Algebra.GroupPower.Ring
[1194/1384] Compiling Mathlib.Logic.Equiv.Set
[1195/1384] Compiling Mathlib.Data.Vector
[1196/1384] Compiling Mathlib.Order.Bounds.Basic
[1198/1384] Compiling Mathlib.Data.Set.Pairwise.Basic
[1200/1384] Compiling Mathlib.Algebra.Group.Pi
[1202/1384] Compiling Mathlib.Algebra.Order.Invertible
[1204/1384] Compiling Mathlib.Data.List.Basic
[1207/1384] Compiling Mathlib.Data.Int.Cast.Lemmas
[1207/1384] Compiling Mathlib.Order.Hom.Set
[1209/1384] Compiling Mathlib.Order.CompleteLattice
[1212/1384] Compiling Mathlib.Algebra.GroupPower.Order
[1213/1384] Compiling Mathlib.Data.Pi.Lex
[1217/1384] Compiling Mathlib.Data.List.MinMax
[1217/1384] Compiling Mathlib.Data.List.Infix
[1219/1384] Compiling Mathlib.Order.Bounds.OrderIso
[1221/1384] Compiling Mathlib.Data.Fin.Basic
[1224/1384] Compiling Mathlib.Data.Nat.Pow
[1225/1384] Compiling Mathlib.Data.Int.Cast.Field
[1228/1384] Compiling Mathlib.Tactic.Positivity.Core
[1230/1384] Compiling Mathlib.Data.List.Forall2
[1231/1384] Compiling Mathlib.Order.CompleteBooleanAlgebra
[1235/1384] Compiling Mathlib.Order.GaloisConnection
[1235/1384] Compiling Mathlib.Data.Set.List
[1237/1384] Compiling Mathlib.Data.Int.CharZero
[1240/1384] Compiling Mathlib.Data.List.BigOperators.Basic
[1241/1384] Compiling Mathlib.Data.Fin.Tuple.Basic
[1244/1384] Compiling Mathlib.Data.Nat.Factorial.Basic
[1245/1384] Compiling Mathlib.Algebra.Order.Field.Basic
[1247/1384] Compiling Mathlib.Data.Setoid.Basic
[1250/1384] Compiling Mathlib.Data.Set.Lattice
[1252/1384] Compiling Mathlib.Data.List.Join
[1253/1384] Compiling Mathlib.Data.List.Count
[1257/1384] Compiling Mathlib.Data.Nat.Choose.Basic
[1257/1384] Compiling Mathlib.Data.List.Zip
[1261/1384] Compiling Mathlib.Data.List.Permutation
[1261/1384] Compiling Mathlib.Data.Set.Functor
[1264/1384] Compiling Mathlib.Data.List.Lattice
[1266/1384] Compiling Mathlib.Tactic.Positivity.Basic
[1267/1384] Compiling Mathlib.Data.List.Pairwise
[1269/1384] Compiling Mathlib.Control.Traversable.Instances
[1271/1384] Compiling Mathlib.Data.List.OfFn
[1273/1384] Compiling Mathlib.Data.List.Chain
[1276/1384] Compiling Mathlib.Tactic.Positivity
[1277/1384] Compiling Mathlib.Data.List.Nodup
[1280/1384] Compiling Mathlib.Data.List.Duplicate
[1281/1384] Compiling Mathlib.Data.List.Dedup
[1283/1384] Compiling Mathlib.Data.List.Range
[1287/1384] Compiling Mathlib.Data.Vector.Basic
[1287/1384] Compiling Mathlib.Data.List.Perm
[1290/1384] Compiling Mathlib.Data.List.Sort
[1291/1384] Compiling Mathlib.Data.List.Sublists
[1294/1384] Compiling Mathlib.Data.Multiset.Basic
[1296/1384] Compiling Mathlib.Data.List.NodupEquivFin
[1297/1384] Compiling Mathlib.Algebra.BigOperators.Multiset.Basic
[1299/1384] Compiling Mathlib.Data.Multiset.Range
[1302/1384] Compiling Mathlib.Data.Sym.Basic
[1304/1384] Compiling Mathlib.Data.Multiset.Bind
[1305/1384] Compiling Mathlib.Data.Multiset.Nodup
[1310/1384] Compiling Mathlib.Data.Multiset.Powerset
[1311/1384] Compiling Mathlib.Data.Multiset.Sum
[1312/1384] Compiling Mathlib.Data.Multiset.Pi
[1313/1384] Compiling Mathlib.Data.Multiset.Dedup
[1315/1384] Compiling Mathlib.Data.Multiset.FinsetOps
[1317/1384] Compiling Mathlib.Data.Multiset.Fold
[1320/1384] Compiling Mathlib.Data.Multiset.Lattice
[1321/1384] Compiling Mathlib.Data.Finset.Basic
[1324/1384] Compiling Mathlib.Data.Finset.Image
[1326/1384] Compiling Mathlib.Data.Finset.Card
[1327/1384] Compiling Mathlib.Data.Fintype.Basic
[1330/1384] Compiling Mathlib.Data.Finset.Fold
[1331/1384] Compiling Mathlib.Data.Finset.Pi
[1335/1384] Compiling Mathlib.Data.Finset.Sum
[1336/1384] Compiling Mathlib.Data.Finset.Prod
[1337/1384] Compiling Mathlib.Data.Finset.Option
[1339/1384] Compiling Mathlib.Data.Fintype.Pi
[1341/1384] Compiling Mathlib.Data.Fintype.Card
[1345/1384] Compiling Mathlib.Data.Fintype.Prod
[1345/1384] Compiling Mathlib.Data.Fintype.Vector
[1348/1384] Compiling Mathlib.Data.Finset.Lattice
[1349/1384] Compiling Mathlib.Data.Fintype.Sum
[1352/1384] Compiling Mathlib.Data.Finset.Sigma
[1353/1384] Compiling Mathlib.Data.Finset.Powerset
[1356/1384] Compiling Mathlib.Data.Fintype.Sigma
[1357/1384] Compiling Mathlib.Data.Fintype.Powerset
[1359/1384] Compiling Mathlib.Data.Finite.Basic
[1361/1384] Compiling Mathlib.Data.Set.Finite
[1363/1384] Compiling Mathlib.Order.Filter.Basic
[1373/1384] Linking LeanInfer.Basic
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[1374/1384] Building LeanInfer
[1377/1384] Linking LeanInfer
stderr:
ld64.lld: warning: /usr/lib/system/libsystem_kernel.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_platform.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
ld64.lld: warning: /usr/lib/system/libsystem_pthread.dylib has version 13.5.0, which is newer than target minimum of 13.0.0
[1378/1384] Building Lean4Example
[1378/1384] Building Lean4MathlibExample
[1381/1384] Compiling Lean4MathlibExample
[1381/1384] Building Main
[1383/1384] Compiling Main
[1384/1384] Linking lean4-example