Code

feat: script to summarize issues#3952

Code

Merged

kim-em merged 2 commits intomasterleanprover/lean4:masterfrom issues_summary.shleanprover/lean4:issues_summary.shCopy head branch name to clipboardApr 24, 2024

+39

Commits

Commits on Apr 19, 2024

• feat: script to summarize issues

  kim-em

  committed
  28a946a

Commits on Apr 24, 2024

• Merge remote-tracking branch 'origin/master' into issues_summary.sh

  kim-em

  committed
  c04d061