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