v1.3.0

Peiyang-Song released this 24 Jun 05:34

· 74 commits to main since this release

5126d27

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

Contributors

Peiyang-Song

Assets 6