Lean-dojo

What's Changed
* Fix tactic suggestion formatting bug by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/64


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

What's Changed
* Minor fix for CI by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/59
* Minor fix for frontend by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/60


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.1.1...v1.1.2

What's Changed
* Bump to `leanprover/lean4:v4.6.0-rc1`
* Add CI for PR targeting main by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/52


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.1.0...v1.1.1

What's Changed
* Frontend migration by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/48
* Frontend update by yangky11 in https://github.com/lean-dojo/LeanCopilot/pull/49
* add warnings for updated model by yangky11 in https://github.com/lean-dojo/LeanCopilot/pull/50
* Add check option back by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/51


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.0.2...v1.1.0

**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.0.1...v1.0.2

Bump to `leanprover/lean4:v4.5.0-rc1`

**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.0.0...v1.0.1