Code

feat: IO.TaskState#4097

Code

Merged

tydeu merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom tydeu:task-statetydeu/lean4:task-stateCopy head branch name to clipboardMay 11, 2024

+78-8

Commits

Commits on May 7, 2024

• feat: IO.TaskState

  tydeu

  committed
  b60acce

  Copy full SHA for b60acce

Commits on May 8, 2024

• chore: address review comments / add test

  tydeu

  committed
  5db03f5

  Copy full SHA for 5db03f5

Commits on May 10, 2024

• chore: simplify test code

  tydeu

  committed
  a113b63

  Copy full SHA for a113b63