Code

feat: asynchronous code generation#6770

Code

Merged

Kha merged 4 commits intoleanprover:masterleanprover/lean4:masterfrom Kha:push-wxvvorszpxswKha/lean4:push-wxvvorszpxswCopy head branch name to clipboardFeb 3, 2025

+89-85

Commits

Commits on Feb 3, 2025

• feat: asynchronous code generation

  Kha

  committed
  c47e9a9

  Copy full SHA for c47e9a9

• perf: do not block on negative environment access in current branch

  Kha

  committed
  2c425f9

  Copy full SHA for 2c425f9

• perf: support async addition of axioms

  Kha

  committed
  0ce68b1

  Copy full SHA for 0ce68b1

• feat: trace elaboration blocking in evalExpr

  Kha

  committed
  c288ae4

  Copy full SHA for c288ae4