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

Fix mypy Typing Errors

Open yangky11 opened this issue 1 year ago • 0 comments

TODO: Make sure the typechecking CI passes.

yangky11 avatar Aug 12 '24 14:08 yangky11