search

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
176 stars 15 forks source link

update elan url #88

Closed bryangingechen closed 2 years ago

bryangingechen commented 2 years ago

The old URL was breaking builds in mathlib earlier today.