v1.5.1

What's Changed

• Fix string UTF-8 misformatting PANIC by @Peiyang-Song in #114
• Bump to Lean v4.11.0-rc1 by @Peiyang-Song in #116

Note

This version has a known issue that the Lean server occasionally fails on certain hardware architectures. This issue stems from the new version of Lean4 itself, and disappears in the next pre-release of Lean4 (Lean v4.11.0-rc2), which corresponds to Lean Copilot v1.5.2. Thus the issue should only appear in this release.

Full Changelog: v1.5.0...v1.5.1