search

mseri / BET

Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6 stars 5 forks source link

⛈️ manual update of lean-toolchain #22

Closed oliver-butterley closed 4 months ago

oliver-butterley commented 4 months ago

Solve this general updating issue:

https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/lake.20update.20not.20working

mseri commented 4 months ago

Thanks. I am back from the holidays, I'll get on board with the updates soon