mathlib3
1ef989f8 - docs(install/*): put extra emphasis (#2439)

Commit
5 years ago
docs(install/*): put extra emphasis (#2439) Put extra emphasis on creating and working with projects If people like this change I'll also make it on the other pages. Co-authored-by: Scott Morrison <scott@tqft.net> Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>
Author
Parents
Loading