mathlib3
f01934c6
- docs(elan): remove reference to nightly Lean (#928)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
7 years ago
docs(elan): remove reference to nightly Lean (#928) * docs(elan): Remove reference to nightly Lean.
References
#928 - docs(elan): remove reference to nightly Lean
Author
jcommelin
Committer
PatrickMassot
Parents
49c3a049
Loading
