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