Lean4Code Official Release #4

This is the fourth 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:
-Update LeanDojo extension panel to support full repo proofs!
-UI update
-Documentation update

Lean4Code Official Release #3

This is the third 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:
-Migrate all internal tools to LeanDojo-v2
-Bug Fixes

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

Lean4Code Official Release #2

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!

Lean4Code Official Release

This is the first 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 integrated a new version of LeanCopilot, one that calls theorem proving models via API calls to HuggingFace. We have also kept the ability for users to download models locally. We hope this updated LeanCopilot will enable users to interact with our tools much more easily and remove any barrier of entry to use our tools!

We're really excited about this release, and would love to hear any feedback you have! Thanks!