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

• @alok made their first contribution in #67

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

v1.1.2

What's Changed

• Minor fix for CI by @Peiyang-Song in #59
• Minor fix for frontend by @Peiyang-Song in #60

Full Changelog: v1.1.1...v1.1.2

v1.1.1

What's Changed

• Bump to leanprover/lean4:v4.6.0-rc1
• Add CI for PR targeting main by @Peiyang-Song in #52

Full Changelog: v1.1.0...v1.1.1

v1.1.0

What's Changed

• Frontend migration by @Peiyang-Song in #48
• Frontend update by @yangky11 in #49
• add warnings for updated model by @yangky11 in #50
• Add check option back by @Peiyang-Song in #51

Full Changelog: v1.0.2...v1.1.0

v1.0.2

Full Changelog: v1.0.1...v1.0.2

v1.0.1

Bump to leanprover/lean4:v4.5.0-rc1

Full Changelog: v1.0.0...v1.0.1