Releases: lean-dojo/LeanCopilot
Releases · lean-dojo/LeanCopilot
v1.4.2
What's Changed
- Incorporate recent commits by @Peiyang-Song in #107
- FIX: Build succeeds and features succeed without lean server crash by @Adarsh321123 in #106
- Fix CMake flags by @Peiyang-Song in #109
- Bump to Lean v4.10.0-rc2 by @Peiyang-Song in #110
New Contributors
- @Adarsh321123 made their first contribution in #106
Full Changelog: v1.4.1...v1.4.2
v1.4.1
What's Changed
- Bump to Lean v4.10.0-rc1 by @Peiyang-Song in #94
- minor fix for doc format in premise selection by @Peiyang-Song in #95
Full Changelog: v1.4.0...v1.4.1
v1.4.0
What's Changed
- Fix minor bug: tokenizer typo in models.py by @Peiyang-Song in #92
- Bump to Lean v4.9.0 by @Peiyang-Song in #93
Full Changelog: v1.3.3...v1.4.0
v1.3.3
What's Changed
- Bump to Lean v4.9.0-rc3 with dependencies by @Peiyang-Song in #89
Full Changelog: v1.3.2...v1.3.3
v1.3.2
What's Changed
- Bump to Lean v4.9.0-rc2 with dependencies by @Peiyang-Song in #88
Full Changelog: v1.3.1...v1.3.2
v1.3.1
What's Changed
- Bump to Lean v4.9.0-rc1 with dependencies by @Peiyang-Song in #87
Full Changelog: v1.3.0...v1.3.1
v1.3.0
What's Changed
- Update aesop to fix script format bug by @Peiyang-Song in #79
- Fix CI bug by @Peiyang-Song in #81
- Update readme & examples by @Peiyang-Song in #82
- Bump with Lean v4.8.0 by @Peiyang-Song in #86
Full Changelog: v1.2.2...v1.3.0
v1.2.2
What's Changed
- Bump Lean to v4.8.0-rc2 by @Peiyang-Song in #73
- Fix lake monad bug by @Peiyang-Song in #74
Full Changelog: v1.2.1...v1.2.2
v1.2.1
What's Changed
- Bump CI from Node 16 to Node 20 by @Peiyang-Song in #65
- fix: coe string -> name removed, explicitly call String.toName by @alok in #67
- Support Lean v4.8.0-rc1 by @Peiyang-Song in #70
- Update demo by @Peiyang-Song in #71
New Contributors
Full Changelog: v1.2.0...v1.2.1
v1.2.0
What's Changed
- Fix tactic suggestion formatting bug by @Peiyang-Song in #64
Full Changelog: v1.1.2...v1.2.0