v4.31.0

What's Changed

• Bump to latest & fix bugs by @Peiyang-Song in #194

Note

Lean Copilot is incompatible with Lean versions between 4.28.0 and 4.32.0-rc1 due to a downstream bug (#193), which has now been fixed in the latest Lean version v4.32.0-rc1 (see details in leanprover-community/batteries#1832). With this release, Lean Copilot works as expected on the latest Lean version. We recommend upgrading to this release or a later one. Alternatively, you can use Lean versions up to and including v4.28.0.

Full Changelog: v4.28.0...v4.31.0

v4.28.0

What's Changed

• Bump to latest stable version Lean 4.28.0 by @Peiyang-Song in #190

Full Changelog: v4.27.0...v4.28.0

v4.27.0

What's Changed

• Bump to latest stable version Lean 4.27.0 & Fix bugs due to dependency upgrades by @Peiyang-Song in #189

Full Changelog: v4.26.0...v4.27.0

v4.26.0

What's Changed

• Bump to latest stable Lean version by @Peiyang-Song in #186

Full Changelog: v4.25.0...v4.26.0

v4.25.0

What's Changed

• Bump to latest stable version Lean v4.25.0 by @Peiyang-Song in #184

Full Changelog: v4.24.0...v4.25.0

v4.24.0

What's Changed

• Bump to latest stable Lean version (v4.24.0) by @Peiyang-Song in #183

Full Changelog: v4.23.0...v4.24.0

v4.23.0

What's Changed

• latest stable version by @Peiyang-Song in #174
• Latest stable version by @Peiyang-Song in #179
• Bump to latest stable version Lean 4.23.0 by @Peiyang-Song in #182

Full Changelog: v4.22.0...v4.23.0

v4.22.0

What's Changed

• Bump to latest stable version Lean v4.23.0-rc1 (~ v4.22.0) by @Peiyang-Song in #181

Note: this tag actually uses Lean v4.23.0-rc1, which is published almost at the same time as Lean v4.22.0, and thus our dependencies all got bumped to v4.23.0-rc1 directly and skipped v4.22.0.

Full Changelog: v4.21.0...v4.22.0

v4.21.0

What's Changed

• bump to latest unstable version by @Peiyang-Song in #175
• Kimina Prover api by @durant42040 in #176
• Bump to Lean v4.21.0 by @Peiyang-Song in #178

Full Changelog: v4.20.0...v4.21.0

v4.20.0

What's Changed

• Update README for Windows by @durant42040 in #170
• Compile ct2.o with downloaded C++ headers by @durant42040 in #171
• Bump to latest stable Lean version by @Peiyang-Song in #173

Full Changelog: v4.19.0...v4.20.0