Skip to content

Lean4Code Official Release

Choose a tag to compare

View all tags
@wadkisson wadkisson released this 05 Aug 02:54
· 61 commits to main since this release
v1.0.0
710ba9b

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!

Assets 4
Loading