Lean-dojo

What's Changed
* Fix minor bugs by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/52


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.3...v1.2.4

What's Changed
* Update pyproject.toml by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/43
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/44
* Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/45
* Update pyproject.toml by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/46
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/47
* Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/48


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.2...v1.2.3

What's Changed
* Add checks to prevent silent OOM errors in https://github.com/lean-dojo/LeanDojo/issues/41
* Check the Git version and raise an error eagerly if it's too old
* Clean docstrings by pitmonticone in https://github.com/lean-dojo/LeanDojo/pull/42


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.1...v1.2.2

What's Changed
* Update build_docker_image.sh by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/39
* Update pyproject.toml by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/40


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.0...v1.2.1

What's Changed
* Update user-guide.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/10
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/13
* Update index.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/15
* improve the robustness of the progress bar by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/18
* Fix typos by pitmonticone in https://github.com/lean-dojo/LeanDojo/pull/22
* Update index.rst by ethanlabelle in https://github.com/lean-dojo/LeanDojo/pull/24
* Update docs by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/25
* Update troubleshooting.rst by ethanlabelle in https://github.com/lean-dojo/LeanDojo/pull/21
* Update troubleshooting.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/26
* Update dojo.py by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/27
* Update credits.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/30
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/31
* Add support for data extraction in Lean 4 & Fix known bugs by Peiyang-Song in https://github.com/lean-dojo/LeanDojo/pull/28
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/33
* Parse substeps of rw/rewrite tactics both in ast.json and trace.xml by antonkov in https://github.com/lean-dojo/LeanDojo/pull/16
* Update lean.py by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/34
* Trouble shooting: dep_path not relative to repo head in annotated tactics by Peiyang-Song in https://github.com/lean-dojo/LeanDojo/pull/35
* Fix known bugs related to dependency graph building by Peiyang-Song in https://github.com/lean-dojo/LeanDojo/pull/36
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/37

New Contributors
* pitmonticone made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/22
* ethanlabelle made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/24
* Peiyang-Song made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/28
* antonkov made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/16

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.1.2...v1.2.0

* Fixed a few issues in tracing
* Improved the progress bar