What's Changed * Minor fix to remove CI node warning by Peiyang-Song in https://github.com/lean-dojo/LeanDojo/pull/178 * Use `pexpect` instead of `signal` in dojo.py by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/180
**Significantly improved initialization speed when interacting with Lean4.**
**Please delete the LeanDojo cache (`rm -rf ~/.cache/lean_dojo`) after upgrading to `v2.0.0`**
What's Changed * Ignore rmtree Errors by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/173 * Fix a minor bug in AST formats by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/174 * Reduce the Initialization Time When Interacting with Lean by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/175 * fix warnings in docs by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/176
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
What's Changed * Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/155 * Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/156 * Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/157