Code

feat: isTty#3930

Code

Merged

Kha merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom tydeu:isattytydeu/lean4:isattyCopy head branch name to clipboardApr 18, 2024

+49-19

Commits

Commits on Apr 16, 2024

• feat: isatty

  tydeu

  committed
  c0b879c

  Copy full SHA for c0b879c

Commits on Apr 17, 2024

• chore: address review comments

  tydeu

  committed
  8a4e6ba

  Copy full SHA for 8a4e6ba