Giters

lean-dojo / ReProver

Retrieval-Augmented Theorem Provers for Lean

Home Page:https://leandojo.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

what is the Request GET /repos/facebookresearch/miniF2F failed with 403: rate limit exceeded

irene622 opened this issue · comments

commented

I have the issue when run the prover/evaluate.py.

Here is the message.
Screenshot 2023-10-24 at 4 45 42 PM

I run in AWS EC2.

commented

I solve it! I do export GITHUB_ACCESS_TOKEN.