fix: update elan URL - Githubissues

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

43 stars 15 forks source link

Closed bryangingechen closed 2 years ago

bryangingechen commented 2 years ago

This outdated URL was breaking CI in mathlib earlier today.

gebner commented 2 years ago

Thanks!