search

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.
https://leandojo.org
MIT License
478 stars 72 forks source link

Tiny change to support Python 3.11 #147

Closed fzyzcjy closed 3 months ago

fzyzcjy commented 4 months ago

Hi, thanks for this helpful library!

Python 3.11 has been around for a while, and many libraries such as PyTorch already supports it. When install LeanDojo it rejects 3.11, and I checked the link https://docs.ray.io/en/latest/ray-overview/installation.html#daily-releases-nightlies given by the comments, which says Ray (experimentally) supports 3.11. Therefore, I wonder why LeanDojo forbids 3.11 - is it because there are some known Ray bugs that will occur in LeanDojo (then this PR should definitely be rejected), or because 3.11 was not supported by Ray long ago but now things has changed?

yangky11 commented 3 months ago

Thanks for the PR. I'll run some tests for Python 3.11.

fzyzcjy commented 3 months ago

You are welcome and happy to see it merged!