Code

Fix a minor bug in AST formats#174

Code

Merged

Peiyang-Song merged 2 commits intomainlean-dojo/LeanDojo:mainfrom kaiyulean-dojo/LeanDojo:kaiyuCopy head branch name to clipboardJun 29, 2024

+17-14

Commits

Commits on Jun 27, 2024

• update

  yangky11

  committed
  d002c52

  Copy full SHA for d002c52

Commits on Jun 28, 2024

• fix minor bug in ast.py

  

  Kaiyu Yang

  committed
  d733b6f

  Copy full SHA for d733b6f