What's Changed
* Fix typo in notebook by pitmonticone in https://github.com/lean-dojo/LeanDojo/pull/162
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/163
* V1.9.0 by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/166
* fix the bug related to relative paths by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/167
**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.8.2...v1.9.0