issues
search
lean-dojo
/
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
https://leandojo.org
MIT License
536
stars
80
forks
source link
Fix mypy Typing Errors
#196
Open
yangky11
opened
1 month ago
yangky11
commented
1 month ago
TODO: Make sure the
typechecking CI
passes.
TODO: Make sure the typechecking CI passes.