Releases: lean-dojo/LeanDojo
Releases · lean-dojo/LeanDojo
v1.2.1
v1.2.0
What's Changed
- Update user-guide.rst by @yangky11 in #10
- Update README.md by @yangky11 in #13
- Update index.rst by @yangky11 in #15
- improve the robustness of the progress bar by @yangky11 in #18
- Fix typos by @pitmonticone in #22
- Update index.rst by @ethanlabelle in #24
- Update docs by @yangky11 in #25
- Update troubleshooting.rst by @ethanlabelle in #21
- Update troubleshooting.rst by @yangky11 in #26
- Update dojo.py by @yangky11 in #27
- Update credits.rst by @yangky11 in #30
- Update README.md by @yangky11 in #31
- Add support for data extraction in Lean 4 & Fix known bugs by @Peiyang-Song in #28
- Update README.md by @yangky11 in #33
- Parse substeps of rw/rewrite tactics both in ast.json and trace.xml by @antonkov in #16
- Update lean.py by @yangky11 in #34
- Trouble shooting: dep_path not relative to repo head in annotated tactics by @Peiyang-Song in #35
- Fix known bugs related to dependency graph building by @Peiyang-Song in #36
- Update README.md by @yangky11 in #37
New Contributors
- @pitmonticone made their first contribution in #22
- @ethanlabelle made their first contribution in #24
- @Peiyang-Song made their first contribution in #28
- @antonkov made their first contribution in #16
Full Changelog: v1.1.2...v1.2.0
Contributors
antonkov, yangky11, and 3 other contributors