Skip to content

Lean4Code Official Release #2

Choose a tag to compare

View all tags
@wadkisson wadkisson released this 21 Aug 21:08
· 28 commits to main since this release
v1.1.0
fb35eca
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This is the second official, production ready release of Lean4Code for Mac Silicon, and Windows! Please report any issues you have to the issues tab or send an email to adkisson@wustl.edu!

Release notes:
In this release, we introduce Agent TARS to Lean4Code, an agent AI assistant. On top of that, we cut down on the fat of Lean4Code in this release—adding LeanCopilot to a project is now fully autonomous, LeanLibrary comes pre-bundles into every Lean project, the welcome screen is much shorter, and interaction between Lean4Code and LeanLibrary is now much more local and modular!

We're again really excited about this update. Let us know any feedback you have by reaching out to adkisson@wustl.edu. Thanks!

Assets 4
Loading