Certification error

[neilyim10]

Hi,

I was following your tutorial on NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving

Below codes generates the following error:
repo = LeanGitRepo(
"https://github.com/leanprover-community/mathlib4",
"3ce43c18f614b76e161f911b75a3e1ef641620ff",
)

Error:
URLError: <urlopen error [SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: unable to get local issuer certificate (_ssl.c:997)>

Please help.
Thanks

[yangky11]

I tried but wasn't able to re-produce the problem. Looks like it's related to your local Git setup. I'd also re-try using the main branch of LeanDojo and see if the error persists.