v0.7.0

What's Changed

• Check Lean version formatting by @sorgfresser in #27
• Improve git-related operations by @augustepoiroux in #28
  • GitProject has a force_pull argument to enforce pulling / reset if the project is already in the cache
  • Similarly, LeanREPLConfig has a force_pull_repl argument. Useful when working on a custom REPL living on an evolving git branch.
• Bump REPL to v1.0.12 by @augustepoiroux in #29
  • FileCommand has now an env field leanprover-community/repl#99
  • Various REPL fixes: leanprover-community/repl#106, leanprover-community/repl#98, leanprover-community/repl#72
  • Syntax nodes now export a few more attributes leanprover-community/repl#89
• New LeanServer.get_memory_usage method to monitor REPL memory usage.
• Add InfoTree pydantic models by @sorgfresser in #3
  • Leverage the new exported attributes for syntax nodes leanprover-community/repl#89

Full Changelog: v0.6.3...v0.7.0