Aesop.html.trace

{"log":
 [{"message":
   ".> ELAN=elan ELAN_HOME=/Users/linyxus/.elan ELAN_TOOLCHAIN=leanprover/lean4:v4.21.0-rc3 LAKE=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/bin/lake LAKE_HOME=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3 LAKE_PKG_URL_MAP={} LEAN=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/bin/lean LEAN_GITHASH=6741444a63eec253a7eae7a83f1beb3de015023d LEAN_SYSROOT=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3 LEAN_AR=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/bin/llvm-ar LEAN_CC= LEAN_PATH=/Users/linyxus/Workspace/capless-lean/.lake/packages/Qq/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/BibtexQuery/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/Cli/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph/.lake/build/lib/lean:/Users/linyxus/Workspace/capless-lean/.lake/build/lib/lean:/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/lib/lean LEAN_SRC_PATH=/Users/linyxus/Workspace/capless-lean/.lake/packages/Qq:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean:/Users/linyxus/Workspace/capless-lean/.lake/packages/BibtexQuery:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic:/Users/linyxus/Workspace/capless-lean/.lake/packages/Cli:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib:/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph:/Users/linyxus/Workspace/capless-lean:/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/src/lean/lake PATH DYLD_LIBRARY_PATH=/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/lib/lean:/Users/linyxus/.elan/toolchains/leanprover--lean4---v4.21.0-rc3/lib:/Users/linyxus/Workspace/capless-lean/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/importGraph/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/mathlib/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/batteries/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/Cli/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/UnicodeBasic/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/BibtexQuery/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/MD4Lean/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/plausible/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/LeanSearchClient/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/proofwidgets/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/aesop/.lake/build/lib:/Users/linyxus/Workspace/capless-lean/.lake/packages/Qq/.lake/build/lib /Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4 single --build /Users/linyxus/Workspace/capless-lean/.lake/build Aesop vscode://file//Users/linyxus/Workspace/capless-lean/.lake/packages/aesop/Aesop.lean",
   "level": "trace"}],
 "inputs":
 [["<collection>",
   [["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Aesop/Main.html",
     "7681367617481315801"],
    ["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Aesop/Frontend/Command.html",
     "5457027857611956468"],
    ["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Aesop/Frontend/Saturate.html",
     "16495413347618747025"],
    ["/Users/linyxus/Workspace/capless-lean/.lake/build/doc/Aesop/BuiltinRules.html",
     "15099708802237595266"]]],
  ["/Users/linyxus/Workspace/capless-lean/.lake/build/doc-data/references.json",
   "11893762902049086281"],
  ["/Users/linyxus/Workspace/capless-lean/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4",
   "15223597035470372104"],
  ["Aesop:leanArts", "6603599995727524368"]],
 "depHash": "6609179669248968848"}