search

leanprover / lean4

Lean 4 programming language and theorem prover
https://lean-lang.org
Apache License 2.0
4.04k stars 346 forks source link

RFC: Support http proxy #3211

Open Landau1994 opened 5 months ago

Landau1994 commented 5 months ago

Proposal

Can lake support http.proxy. As lake utilize git to fetch repo, and git support http.proxy. could lake also support this.

Community Feedback

No ideas

Impact

It would be very useful for people suffering connect issues/

semorrison commented 5 months ago

Just noting the recent zulip discussion about this.