search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

fix(OS10Xinst.md): fix update instructions #41

Closed fpvandoorn closed 8 years ago

fpvandoorn commented 8 years ago

The previous instructions didn't update lean for Steve. Running brew upgrade lean did work.

soonhokong commented 8 years ago

I see. homebrew recently updated their instructions.