LeanDojo icon indicating copy to clipboard operation
LeanDojo copied to clipboard
verified publisher icon lean-dojo

V1.8.3

Open yangky11 opened this issue 1 year ago • 0 comments

TODOs

  • Fix tracing repos with lakefile.toml, e.g., aesop

yangky11 avatar May 13 '24 02:05 yangky11